Реакция автомата Мура и эквивалентного автомата Мили совпадает, но у Мура выходное слово отличается сдвигом на один такт

Теория автоматов. 6+.Преобразование автоматов Мили и Мура.

Мура → Мили:

При табличном задании таблица переходов автомата Мили совпадает с таблицей переходов автомата Мура. Таблица выходов автомата Мили получается из таблицы переходов заменой символа A_s, стоящего на пересечении строки z_f и столбца A_m на символ w_g, отмечающий столбец a_s в совмещенной таблице автомата Мура.

Пусть задан автомат Мура (табл.2.4). Таблица переходов эквивалентного автомата Мили (табл.2.5) совпадает с совмещенной таблицей автомата Мура, представляющей переходы автомата, а таблица выходов 2.6 получена следующим образом. Считается, что на переходе из состояния A_m в состояние A_s в эквивалентном автомате Мили должен быть сформирован такой же выходной сигнал, что и в автомате Мура, после того как автомат перешел в состояние a_s, то есть выходной сигнал w_g.

Таблица 2.4. автомат Мура

w1 w2 w3 w2 w3

a1 a2 a3 a4 a5

z1 a2 a5 a5 a3 a3

z2 a4 a2 a2 a1 a1

Таблица 2.6. выходов

a1 a2 a3 a4 a5

z1 w2 w3 w3 w3 w3

z2 w2 w2 w2 w1 w1

Рассмотрим переход автомата из состояния a1 в a2. В автомате Мура состоянию a2 соответствует выходной сигнал w2, следовательно в табл.2.6 на переходе из состояния a1 по входному сигналу z1 ставим w2 и так далее.