Материал: П.Р.№2 Шерстюк
Таблица 6 - Таблица функций выходов, перехода и возбуждения для автомата
Мили
Исходное состояние |
Условия перехода |
Последующее состояние |
Выходные функции |
Функции возбуждения |
||||||||||
метка |
код |
метка |
код |
|||||||||||
Q1 |
Q2 |
Q3 |
Q1 |
Q2 |
Q3 |
D1 |
D2 |
D3 |
||||||
S0 |
0 |
0 |
0 |
X1 |
S1 |
0 |
0 |
1 |
Y1, Y2, Y3, Y4, Y5, Y6 |
0 |
0 |
1 |
||
|
S0 |
0 |
0 |
0 |
- |
0 |
0 |
0 |
||||||
S1 |
0 |
0 |
1 |
- |
S2 |
0 |
1 |
0 |
Y4 |
0 |
1 |
0 |
||
S2 |
0 |
1 |
0 |
|
S3 |
0 |
1 |
1 |
Y1, Y3, Y5 |
0 |
1 |
1 |
||
|
S5 |
1 |
0 |
1 |
Y2, Y4, Y6 |
1 |
0 |
1 |
||||||
S3 |
0 |
1 |
1 |
|
S4 |
1 |
0 |
0 |
Y7 |
1 |
0 |
0 |
||
|
Y1, Y8 |
|||||||||||||
S4 |
1 |
0 |
0 |
|
S0 |
0 |
0 |
0 |
- |
0 |
0 |
0 |
||
S5 |
1 |
0 |
1 |
- |
S6 |
1 |
1 |
0 |
Y5, Y9 |
1 |
1 |
0 |
||
S6 |
1 |
1 |
0 |
- |
S4 |
1 |
0 |
0 |
Y2 |
1 |
0 |
0 |
||
Минимизация функций возбуждения элементов памяти и функций выходов
Из таблицы функций перехода, возбуждения и выходов автомата Мура (Мили) получаем систему логических уравнений для цифрового автомата Мура (Мили).
Система логических уравнений для цифрового автомата Мура:
Система логических уравнений для цифрового автомата Мили:
Из системы логических уравнений для цифрового автомата Мура получаем полное множество конъюнкций для данного автомата:
|
|
|
Из системы логических уравнений для цифрового автомата Мили получаем полное множество конъюнкций для данного автомата:
|
|
|
Из полного множества конъюнкций получаем таблицу покрытия конъюнкциями системы логических уравнений.
Таблица 7 - Таблица покрытия конъюнкциями для цифрового автомата Мура
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
+ |
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
+ |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
+ |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
