Page 120 - 4128

Q 2 Q 3 00 01 11 10
Q 1 a 1 - 000 a 4 - 001
0 a 1 a 4 a 6 a 2 a 2 - 010 a 5 - 110
a 3 - 101 a 6 - 011
1 a 3 a 5

Рисунок 6.5 - Карта Карно для кодування станів автомата

3 Будуємо пряму структурну таблицю переходів-виходів
автомата Мілі (табл. 6.5). У даній таблиці в стовпцях К(am) і
К(as) указується код початкового стану і стану переходу
відповідно. У стовпці функцій збудження ФЗ указується ті
значення функцій збудження, які на даному переході обов'язково
рівні 1. Інші (тобто рівні 0 або приймаючі невизначені значення)
не указуються. Це еквівалентно тому, що всім невизначеним
значенням функцій збудження приписується значення 0, що в
загальному випадку не дає мінімальної функції, проте в реальних
автоматах мінімізація звичайно не робиться з причини її
неефективності. Пропонується самостійно побудувати
структурну таблицю переходів з вказівкою всіх значень функцій
збудження (у тому числі і невизначених), виконати мінімізацію і
порівняти результати з приведеними нижче.

Таблция 6.5 - Структурна таблиця переходів-виходів
автомата Мілі.

Am К(am) as К(as) X У ФЗ
a1 000 a2 010 x1 y1y2 J2
a4 001 x1 y3y4 J3
a2 010 a2 010 x3x2 y1y2 -
a5 110 x3 y2y3 J1
a6 011 x3x2 y4 J3
a3 101 a4 001 1 y3y4 K1

119