СИНТЕЗ АВТОМАТА МУРА.
Для автомата Мура на этапе получения отмеченной ГСА разметка производится согласно следующим правилам:
1) символом а1 отмечается начальная и конечная вершины;
2) различные операторные вершины отмечаются различными символами;
3) все операторные вершины должны быть отмечены;
Пример ГСА, отмеченной для автомата Мура, представлен на рис. 56.
Граф автомата Мура, соответствующий отмеченной ГСА (рис. ), представлен на рис. . Построение его аналогично построению графа для автомата Мили.
Таблицы переходов-выходов автомата Мура представлены в табл. 29 (прямая) и табл. 30 (обратная). Обычно для автомата Мура в таблице переходов-выходов дополнительный столбец для выходных сигналов не используется и выходной сигнал записывается в столбце, где указывается исходное состояние am или состояния перехода aS.
Табл. 29.Прямая таблица переходов Табл. 30.Обратная таблица переходов
автомата Мура. автомата Мура.
am(Y) | as | X | am | as(Y) | X | |
a1(--) | a2 | x1 | a6 | a1(-) | x4 | |
a3 | x1 | a7 | ||||
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 | ||||
a4(y1y4) | a3 | a3 | a4(y1y4) | x2 | ||
a5(y2y3) | a7 | a2 | a5(y2y3) | x3 | ||
a6(y4) | a1 | x4 | a2 | a6(y4) | x3 x2 | |
a2 | x4 | a3 | a7(y2) | x2 | ||
a7(y2) | a1 | a5 |
Получением графа или таблиц переходов-выходов заканчивается этап абстрактного синтеза микропрограммного автомата. Как и для конечных автоматов, на этапе абстрактного синтеза можно выполнить минимизацию количества внутренних состояний автомата.
Дата добавления: 2020-06-09; просмотров: 553;