Студентам > Курсовые > Синтез комбинацонных схем и конечных автоматов
Синтез комбинацонных схем и конечных автоматовСтраница: 6/10
Таблица 2.3.4 – Таблица пар эквивалентных состояний
Ищем
в полученной таблице неэквивалентные пары – пары из разных множеств. В таблице
таких нет, значит, окончательно получаем автомат с двумя новыми состояниями – обозначим их 0 и 1.
Следующим шагом оформляем общую таблицу переходов для
минимизированной формы автомата:
|
 x(j)
s(j)
|
0
|
1
|
2
|
3
|
|
0
|
0/1
|
1/0
|
0/1
|
1/0
|
|
1
|
0/0
|
1/1
|
0/0
|
1/1
|
Таблица 2.3.5 – Новая общая таблица переходов.
На
основании полученной общей таблицы переходов и выходов можно нарисовать граф
минимизированного автомата с двумя состояниями:
 0/1U 2/1
1/0 U 3/0 1/1U 3/1
0
1
0/0
U 2/0
Рисунок 2.3.1 – Граф минимизированного автомата
Для
практической реализации полученного автомата надо двоично закодировать все
сигналы. Для кодировки y и s достаточно
одного двоичного разряда, x требует
двух – x1 и x2:
|
x
|
x1
|
x2
|
|
0
|
0
|
0
|
|
1
|
0
|
1
|
|
2
|
1
|
0
|
|
3
|
1
|
1
|
Таблица 2.3.6 – Двоичная кодировка
x
Составляем
таблицу истинности для комбинационной части схемы на основе таблицы (2.3.5).
Получаем две функции трёх аргументов:
|
x1(j)
|
0
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
|
x2(j)
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
|
s(j)
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
|
y(j)
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
|
s(j+1)
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
| 
Главная
Документация
Файлы
Информация
