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

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

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

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

3) все операторные вершины должны быть отмечены;

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

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

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

Табл. 29.Прямая таблица переходов Табл. 30.Обратная таблица переходов

автомата Мура. автомата Мура.

am(Y)	as­	X		am	as­(Y)	X
a1(--)	a2	x1		a6	a1(-)	x4
	a3	x1		a7		1
a2(y1y2)	a2	x3 x2		a1	a2(y1y2)	x1
	a5	x3		a2		x3 x2
	a6	x3 x2		a6		x4
a3(y3y4)	a4	x2		a1	a3(y3y4)	x1
	a7	x2		a4		1
a4(y1y4)	a3	1		a3	a4(y1y4)	x2
a5(y2y3)	a7	1		a2	a5(y2y3)	x3
a6(y4)	a1	x4		a2	a6(y4)	x3 x2
	a2	x4		a3	a7(y2)	x2
a7(y2)	a1	1		a5		1

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