Автоматы Мили и автоматы Мура отличаются функцией выхода.
Автомат Мили:
(5.5)
Автомат Мура:
(5.6)
То есть произвольному состоянию автомата Мили и входному сигналу соответствует состояние автомата Мура:
(5.7)
При этом начальные состояния автоматов Мили и Мура совпадают:
(5.8)
Учитывая вышеизложенное, можно перекодировать таблицу перехода автомата Мили и составить отмеченную таблицу переходов автомата Мура.
ПРИМЕР
Пусть задан автомат Мили
Таблица переходов (ТП) Таблица выходов (ТВ)
Перекодируем матрицу перехода автомата Мили:
/ | / | / | |
/ | / | / |
Составляем таблицу перехода автомата Мура.
При составлении таблицы перехода автомата Мили рассуждаем следующим образом: состояние автомата Мура соответствует состоянию автомата Мили , следовательно, столбец состояния автомата Мура совпадает со столбцом состояния автомата Мили.
Так как в автомате Мура произвольному состоянию соответствует некоторый выходной сигнал, то строка выхода отмеченной таблицы перехода автомата Мура однозначно определяется таблицей выхода автомата Мили (состоянию соответствует выходной сигнал ; - )
Выходной сигнал, соответствующий состоянию , выбирается произвольно.
Если автомат Мили содержит m-состояний и n входных символов, то количество состояний автомата Мура определяется по формуле:
(5.9)