2014-02-02
2104
Для автомата Мура на этапе получения отмеченной ГСА разметка производится согласно следующим правилам:
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 |
Получением графа или таблиц переходов-выходов заканчивается этап абстрактного синтеза микропрограммного автомата. Как и для конечных автоматов, на этапе абстрактного синтеза можно выполнить минимизацию количества внутренних состояний автомата.
