Результат минимизации.
Эквивалентны состояния Y2 и Y6, а также Y4 и Y5 минимизации №1
Вычеркиваем строки 5 и 6 из частично дополненной таблицы переходов и выходов абстрактного автомата. Полностью дополняем таблицу переходов и выходов. Заменяем переходы в состоянии 5 на переходы в состояние 4, а также переходы в состоянии 6 на переходы в состояние 2 .
X Y |
1 |
2 |
3 |
4 |
1 |
4 0 |
1 0 |
3 1 |
1 0 |
2 |
2 0 |
4 0 |
2 1 |
4 0 |
3 |
2 1 |
4 1 |
2 0 |
2 0 |
4 |
4 1 |
2 1 |
1 1 |
1 1 |
Дополненная таблица переходов-выходов абстрактного автомата.
Структурный синтез
Создадим 3 варианта кодирования для входов (X), состояний (Y) и выходов (Z). Определим для каждого варианта функции выхода и функции переходов для 3 типов триггеров: асинхронного RS и синхронизированных T и D.
Линейное кодирование.
Присвоение кода входам, состояниям и выходам происходит согласно порядку двоичного счета.
Входы |
|
Состояния |
|
Выходы |
|||||
Номер |
Код |
|
Номер |
Код |
|
Номер |
Код |
||
X2 |
X1 |
|
y2 |
y1 |
|
|
z0 |
||
X1 |
0 |
0 |
|
Y1 |
0 |
0 |
|
Z0 |
0 |
X2 |
0 |
1 |
|
Y2 |
0 |
0 |
|
Z1 |
1 |
X3 |
1 |
0 |
|
Y3 |
0 |
1 |
|
|
|
X4 |
1 |
1 |
|
Y4 |
0 |
1 |
|
|
|
Таблицы линейного кодирования входов, состояний и выходов.
Построим таблицу переходов и таблицу выходов в соответствии с данной кодировкой.
Y |
00 |
01 |
11 |
10 |
00 |
11 |
00 |
00 |
10 |
01 |
01 |
11 |
11 |
01 |
11 |
11 |
01 |
00 |
00 |
10 |
01 |
11 |
01 |
01 |
Таблица переходов в линейном кодировании.
z0 |
00 |
01 |
11 |
10 |
00 |
1 |
1 |
0 |
1 |
01 |
1 |
1 |
0 |
1 |
11 |
0 |
0 |
1 |
1 |
10 |
0 |
0 |
0 |
1 |
Таблица выходов в линейном кодировании.
Определим функцию выхода для линейного кодирования.
