Теория автоматов. 9.Синтез микропрограммного автомата Мура по ГСА

Этапы:

1. Получение отмеченной ГСА.

2. Построение графа микропрограммного автомата Мили.

Построение отмеченной ГСА при синтезе Мура состоит в том, что начальная, конечная и операторные вершины отмечаются символами a₁,a₂,... по правилам:

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

2) каждая операторная вершина отмечается единственным символом a_i, то есть различные операторные вершины отмечаются различными символами;

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

Алгоритм построения графа Мура S:

1. В качестве состояний автомата выбрать метки {a₁,...,a_M}, a₁ – начальное состояние.

2. Найти все пути перехода на отмеченной ГСА. Отметим, что при синтезе автомата Мура путь перехода имеет вид:

3. Каждому пути перехода a_mX(a_m,a_s)a_s поставить в соответствие переход автомата S из состояния am в состояние a_s под действием входного сигнала X(a_m,a_s). Если R=0 (логич. условие отсутствует), то входной сигнал равен «1».

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