1 2 3 1 2 3
x 2 3 3 x w u
y 3 2 2 y v u u
X(u) y(v)
Общее понятие абстрактного автомата называется также понятием автомата Мили или
просто — автоматом Мили. В практических задачах синтеза большое значение один
частный случай автомата Мили — автомат Мура.
Отмеченной таблицей переходов автомата Мура будем называть таблицей переходов, под
которой помещена (единственная) строка его сдвинутой таблицы выходов, так что над
состоянием Sai, обозначается i-ый столбец таблицы, стоит отмечающий их выходной
сигнал η (Sai).
Автомат Мура однозначно задается своей отмеченной таблицей переходов. Для того
чтобы настроить обычную таблицу выходов для автомата Мура, достаточно в его таблицу
переходов вместо состояний Sa(t+ 1)=φδ [Sa (t) , x (t )] подставить отмечающие их
выходные символы η [Sa (t+1)]. Обратный переход аналогичен.