Минимизация функций возбуждения элементов памяти и функций выходов
Из таблицы функций перехода, возбуждения и выходов автомата Мура (Мили) получаем систему логических уравнений для цифрового автомата Мура (Мили).
Система логических уравнений для цифрового автомата Мура:
Система логических уравнений для цифрового автомата Мили:
Из системы логических уравнений для цифрового автомата Мура получаем полное множество конъюнкций для данного автомата:
|
|
|
Из системы логических уравнений для цифрового автомата Мили получаем полное множество конъюнкций для данного автомата:
|
|
|
Из полного множества конъюнкций получаем таблицу покрытия конъюнкциями системы логических уравнений.
Таблица 7 - Таблица покрытия конъюнкциями для цифрового автомата Мура
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
+ |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица 8 - Таблица покрытия конъюнкциями для цифрового автомата Мили
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
+ |
+ |
|
+ |
|
|
|
+ |
|
|
+ |
|
|
+ |
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
+ |
|
|
|
|
|
+ |
|
|
+ |
|
|
|
|
+ |
|
|
+ |
+ |
|
|
|
|
|
+ |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|