|
x1x2 S |
00 |
01 |
10 |
11 |
|
1 |
6, 10 |
(1), 00 |
2, 00 |
3, 01 |
|
2 |
(2), 00 |
1, 00 |
(2), 00 |
4, 00 |
|
3 |
2, 00 |
(3), 11 |
(3), 10 |
(3), 01 |
|
4 |
2, 00 |
5, 01 |
(4), 11 |
(4), 00 |
|
5 |
2, 00 |
(5), 01 |
4, 11 |
(5), 11 |
|
6 |
(6), 10 |
~ |
(6), 00 |
5, 11 |
2.5 Кодирование строк таблицы переходов
2.5.1 Определение необходимого числа элементов памяти
Для построения схемы необходимо три элемента памяти: Y1, Y2, Y3.
Число элементов памяти определяется по формуле:
m = ]log2S[,
где ]a[ – обозначение ближайшего к a целого числа A ≥ a;
m – количество необходимых элементов памяти;
S – число состояний автомата.
В таблице 5 представлено кодирование для минимизированной таблицы переходов. Теперь состоянию 1 соответствует комбинация 000, состоянию 2 – 001 и так далее до последнего 6 – 101.
Таблица 5
Кодирование состояний
|
S |
y1 |
y2 |
y3 |
|
1 |
0 |
0 |
0 |
|
2 |
0 |
0 |
1 |
|
3 |
0 |
1 |
0 |
|
4 |
0 |
1 |
1 |
|
5 |
1 |
0 |
0 |
|
6 |
1 |
0 |
1 |
2.5.2 Кодированные таблица переходов и таблица выходов
Составляются кодированные таблица переходов и таблица выходов. В качестве исходной берется таблица 4, в которой состояния автомата S заменяются соответствующими кодами из таблицы 5.
В таблицах 6 и 7 соответственно представлены таблица переходов и таблица выходов.
Таблица 6
Кодированная таблица переходов