При построении графа автомата Мура (рис. 2) учтем, что выходные символы записываются в вершинах графа вместе с состояниями, так как выходной символ автомата Мура определяется только состоянием и не зависит от входного символа. Также количество начальных состояний автомата Мура равно количеству различных последних символов в выходных словах ОС.
В нашем случае автомат Мура будет иметь два начальных состояния, так как в выходных словах ОС (табл. 2) имеют место два различных последних выходных символа: z0 и z1. Обозначим начальные состояния a0, a0. Все начальные состояния автомата Мура являются равноправными в том смысле, что из них под воздействием одинаковых входных символов происходят переходы в одинаковые состояния. Порядок нумерации состояний, отличных от начального (-ых), для абстрактного автомата безразличен.
Рисунок 2 – Граф автомата Мура
Получили множество состояний автомата {a0, a0, …, a13}.
Отмеченная таблица переходов (ОТП) автомата Мура
ОТП по графу, изображенному на рисунке 2, представлена в таблице 3.
