Page 118 - 4128

a2(y1y2) a2 x3 x2
a5 x3
a6 x3 x2
a3(y3y4) a4 x2
a7 x2
a4(y1y4) a3 1
a5(y2y3) a7 1
a6(y4) a1 x4
a2 x4
a7(y2) a1 1
Таблиця 6.4 - Зворотня таблиця переходів автомата Мура.

am as(Y) X
a6 a1(-) x4
a7 1
a1 a2(y1y2) x1
a2 x3 x2
a6 x4
a1 a3(y3y4) x1
a4 1
a3 a4(y1y4) x2
a2 a5(y2y3) x3
a2 a6(y4) x3 x2
a3 a7(y2) x2
a5 1

Отриманням графа або таблиць переходів-виходів
закінчується етап абстрактного синтезу мікропрограмного
автомата. Як і для кінцевих автоматів, на етапі абстрактного
синтезу можна виконати мінімізацію кількості внутрішніх станів
автомата.

6.1 Структурний синтез мікропрограмних автоматів

Структурний синтез мікропрограмних автоматів після
отримання графа або таблиці переходів-виходів аналогічний

117