На основі графа автомата (рисунок 2.2) складемо структурну таблицю автомата (таблицю 2.1).
Таблиця 2.1 – Структурна таблиця
ПС |
Старий стан
|
СП |
Новий Стан
|
Входи |
Виходи |
Функції збуджених тригерів |
||||||||
D1 |
D2 |
D3 |
D4 |
|||||||||||
y4y5 |
y3 |
y2 |
y1 |
|||||||||||
x1 |
x2 |
|||||||||||||
a1 |
0000 |
a2 |
0001 |
- |
- |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
|
a2 |
0001 |
a3 |
0011 |
- |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
|
0001 |
a5 |
0101 |
- |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
||
a3 |
0011 |
α1 |
0111 |
- |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
|
0011 |
α2 |
1011 |
- |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
||
α1 |
0111 |
a5 |
0101 |
- |
- |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
|
α2 |
1011 |
a4 |
1111 |
- |
- |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
|
a4 |
1111 |
α3 |
1110 |
1 |
- |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
|
1111 |
a6 |
1101 |
0 |
- |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
||
a5 |
0101 |
a6 |
1101 |
0 |
- |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
|
0101 |
a8 |
0100 |
1 |
- |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
||
a6 |
1101 |
a7 |
1001 |
- |
- |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
|
a7 |
1001 |
α5 |
1000 |
1 |
- |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
|
1001 |
a6 |
1101 |
0 |
- |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
||
α5 |
1000 |
α4 |
1100 |
- |
- |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|
α3 |
1110 |
α4 |
1100 |
- |
- |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
|
α4 |
1100 |
a8 |
0100 |
- |
- |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
|
a8 |
0100 |
a9 |
0110 |
- |
- |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
|
a9 |
0110 |
α6 |
0010 |
- |
- |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
|
α6 |
0010 |
a1 |
0000 |
- |
- |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
На основі структурної таблиці автомата (таблиці 2.1) виконаємо синтез комбінаційних схем для вихідних сигналів і функцій збудження тригерів. Аргументами функцій збудження тригерів є коди станів та вхідні сигнали, для вихідних сигналів – тільки коди станів. Виконаємо Мінімізацію вищевказаних функцій діаграм Вейча (рисунок 2.4). Зауважимо, що операторні представлення функцій сформовані враховуючи елементний базис {4I,2АБО-НЕ}.
|
|
Q3 |
|
|
|
|
Y1 |
|||
|
|
X1 |
|
|
X1 |
|
|
|
||
Q4 |
X2 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
|
0 |
0 |
0 |
0 |
- |
0 |
0 |
- |
Q2 |
||
|
0 |
0 |
0 |
0 |
- |
0 |
0 |
- |
||
|
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
|
|
|
X2 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
|
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
Q2 |
|
|
|
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
|
|
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
|
|
|
Q1 |
|
|
Q1 |
|
|
||