Синтез автомата мура
Для автомата Мура на этапе получения отмеченной ГСА разметка производится согласно следующим правилам:
символом а1 отмечается начальная и конечная вершины;
различные операторные вершины отмечаются различными символами;
все операторные вершины должны быть отмечены;
Пример ГСА, отмеченной для автомата Мура, представлен на рис. 56.
Таблицы переходов-выходов автомата Мура представлены в табл. 29 (прямая) и табл. 30 (обратная). Обычно для автомата Мура в таблице переходов-выходов дополнительный столбец для выходных сигналов не используется и выходной сигнал записывается в столбце, где указывается исходное состояние am или состояния перехода aS.
Таблица 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 |
Получением графа или таблиц переходов-выходов заканчивается этап абстрактного синтеза микропрограммного автомата. Как и для конечных автоматов, на этапе абстрактного синтеза можно выполнить минимизацию количества внутренних состояний автомата.
Структурный синтез микропрограммных автоматов
Структурный синтез микропрограммных автоматов после получения графа или таблицы переходов-выходов в принципе аналогичен каноническому методу синтеза цифровых автоматов, рассмотренному ранее. Однако существуют и определенные особенности в первую очередь связанные с тем, что для реальных автоматов количество элементов памяти и входных сигналов может достигать десяти и более. Функции возбуждения и выходных сигналов трудно поддаются минимизации, да и практически минимизация не дает существенного упрощения этих функций при большом количестве переменных. Поэтому минимизация практически не используется при синтезе микропрограммных автоматов.
При выполнении структурного синтеза строят так называемые структурные таблицы переходов и выходов, которые также могут быть как прямыми так и обратными.
Рассмотрим этапы структурного синтеза на конкретных примерах.