5.8.2. Синтез автомата Мура

Для автомата Мура на этапе получения отмеченной ГСА разметка производится согласно следующим правилам:

• символом а₁ отмечается начальная и конечная вершины;

• различные операторные вершины отмечаются различными символами;

• все операторные вершины должны быть отмечены.

Пример ГСА, отмеченной для автомата Мура, представлен на рис. 5.16.

Граф автомата Мура, соответствующий отмеченной ГСА (рис. 5.16), представлен на рис. 5.17. Построение его аналогично построению графа для автомата Мили.

Таблицы переходов-выходов автомата Мура представлены в табл. 5.13 (прямая) и табл. 5.14 (обратная). Обычно для автомата Мура в таблице переходов-выходов дополнительный столбец для выходных сигналов не используется, и выходной сигнал записывается в столбце, где указывается исходное состояние a_m или состояния перехода a_s.

Получением графа или таблиц переходов-выходов заканчивается этап абстрактного синтеза микропрограммного автомата. Как и для конечных автоматов, на этапе абстрактного синтеза можно выполнить минимизацию количества внутренних состояний автомата.