2.2 Составление таблицы переходов для микропрограммного автомата
для синтеза автомата Мура необходимо сделать разметку кодированной ГСА: каждой операторной вершине приписать символ состояния bi, а также для заданного типа автомата необходимо построить прямую таблицу переходов, в которую вписываются пути перехода между соседними отметками
|
bm | bs(y) | X(bm, bs) |
b1 | b2(y1, y2, y3, y4, y5) | 1 |
b2 | b3(y6) | 1 |
b3 | b4(y6) | х1 |
b5(y8, y9, y10) | ||
b4 | b5(y8, y9, y10) | 1 |
b5 | b4(y6) | |
b5(y8, y9, y10) | ||
b6(y11) | х2 | |
b6 | b1(yк) | 1 |
2.3 Составление структурной таблицы микропрограммного автомата
Выполним переход от абстрактных таблиц кодировок (таблица 1) и переходов (таблица 2) к структурной таблице
В таблицу переходов структурного автомата, в отличии от абстрактного автомата, добавляются три столбца: код состояния bm – K(bm), код состояния bs – K(bs), а также функция возбуждения F(bm, bs).
По количеству состояний определяем, необходимое число символов в кодирующей комбинации. Так как у нас имеется шесть состояний то кодировка будет производиться трехпозиционной комбинацией двоичных кодов. В таблице 3 представлена структурная таблица переходов МПА Мура.
|
Структурная таблица переходов и кодировки состояний
bm | K(bm) | bs(y) | K(bs) | X(bm, bs) | F(bm, bs) RS |
b1 | 001 | b2(y1, y2, y3, y4, y5) | 011 | 1 | |
b2 | 011 | b3(y6) | 010 | 1 | |
b3 | 010 | b4(y6) | 110 | x1 | S1 |
010 | b5(y8, y9, y10) | 000 | R2 | ||
b4 | 110 | b5(y8, y9, y10) | 000 | 1 | |
b5 | 000 | b4(y6) | 110 | S1S2 | |
000 | b5(y8, y9, y10) | 000 | ----- | ||
000 | b6(y11) | 100 | х2 | S2 | |
b6 | 100 | b1(yк) | 001 | 1 | R1S3 |
0 комментариев