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