вого стану. Автомат є кінцевим, якщо А, X і Y не є нескінченними множинами. Теоретично все елементи множин А, X, Y можуть бути закодовані числами в системі числення с будь-якою основою, але на практиці завжди використовується двійкова система числення. Згідно структурній схемі (рис.1), коди наборів змінних комбінаційних схем визначаються в результаті конкатенації кодів вхідних сигналів і кодів станів блоку пам'яті. Як набори вхідних змінних, так і коди станів блоку пам'яті в загальному випадку містять заборонені комбінації, тому системи функцій алгебри логіки, що описують комбінаційні схеми, що не будуть повністю визначеними.
Використовуючи поняття та визначення алгебри логіки, складемо таблицю (відповідності) значень вхідних і вихідних сигналів.
Десяткові цифри
Вхідний код 4311
Вихідний код 5311
0
0000
0000
1
0001
0001
2
0010
0010
3
0011
0011
4
0100
0100
5
0101
0101
6
1000
1010
7
1001
1011
8
1100
1110
9
1101
1111
В
При розгляді кінцевого автомата необхідно розглянути умова автоматні, тобто виконання наступних умов:
1) Довжина вхідного слова повинна відповідати довжині вихідного слова. У загальному випадку при невідповідності вхідного і вихідного слів відсутні фрагменти заповнюються порожніми символами (0);
2) Мінімум три перших символу вхідних і вихідних слів повинні відповідати один одному. У нашому випадку ця умова частково не виконується, тому для дотримання умови автоматними кодопреобразователя до вхідного і вихідного словами додамо порожні символи (0).
При цьому таблиця відповідності прийме вид:
Десяткові цифри
Вхідний код 4311
Вихідний код 5311
0
0000 000
000 0000
1
0001 000
000 0001
2
0010 000
000 0010
3
0011 000
000 0011
4
0100 000
000 0100
5
0101 000
000 0101
6
1000 000
000 1010
7
1001 000
000 1011
8
1100 000
000 1110
9
1101 000
000 1111
Часто на практиці використовується два різновиди цифрових автоматів, що відрізняються способом формування вихідних сигналів:
- при описі функціонування автомата виразами:
a (t + l) = 5 [a (t), z (t)],
w (t) = l [a (t), z (t)] - він називається автоматом Мілі;
- при описі функціонування автомата виразами:
a (t +1) = d [a (t), z (t)],
w (t) = l [а (t)] - він називається автоматом Мура.
У цих виразах t - поточний момент дискретного ав...