иходячи з цього отримаємо наступні пари еквівалентних станів, позначені літерою "е":
е0 = (0, 15)
е1 = (1, 16)
е2 = (2, 17)
є3 = (3, 18)
є4 = (4, 19)
е5 = (5, 20)
е6 = (6, 21)
е7 = (7, 22)
е8 = (8, 23)
Е9 = (9, 24)
е10 = (10, 25)
Е11 = (11, 26)
Е12 = (12, 15)
Е13 = (13, 16)
Е14 = (14, 17)
Отримані пари повністю задовольняють умовам замкнутості і повноти.
На основі отриманих пар отримуємо таблицю переходів-виходів мінімального автомата (таблиця 1.4.2.1).
Таблиця 1.4.2.1 - Таблиця переходів-виходів мінімального автомата
01 ? e0e1/ ? < span align = "justify"> e2/ ? e9/0e1e3/ ? e4/ ? e6/0e2e5/ ? e6/ ? e7/1e3e7/ 0e8/ ? e10/0e4e9/ ? e10/ ? e6/1e5e11/ ? e12/ ? e7/0e6e13/0e14/ < span align = "justify">? 2. СТРУКТУРНИЙ СИНТЕЗ кінцевих автоматів
2.1 УСУНЕННЯ КРИТИЧНИХ змагання в СХЕМІ
Для усунення критичних змагань у схемі застосовують:
) Генератор тактових імпульсів.
Недоліки: жорсткі вимоги до стабільності тривалості імпульсів генератора, відносно низьку швидкодію. Переваги: ​​невеликі апаратурні витрати. p align="justify">) Допоміжну пам'ять.
Недоліки: великі апаратурні витрати, низька швидкодія. Переваги: ​​висока стабільність роботи автомата. p align="justify">) Спеціальне кодування станів.
Недоліки: великі апаратурні витрати, низька швидкодія. Переваги: ​​висока стабільність роботи автомата. br/>
Найбільш оптимальним в даному випадку є перший спосіб.
.2 кодування станів, вхідних і вихідних сигналів
Закодуємо стану (таблиця 2.2.1), вхідні (таблиця 2.2.2) і вихідні (таблиця 2.2.3) сигнали.