2. Определение недостающих входных данных.
Для этого используем
K=4 [ak]
P=4 [Zi]
S=4 [Wj]
Определяем число элементов памяти:
r і log2K = 2
Число разрядов входной шины:
n і log2P = 2
Число разрядов выходной шины:
m і log2S = 2
3. Кодирование автомата.
Внутреннее состояние | Входные шины | Выходные шины | |||
a1= | 00 | Z1= | 00 | W1= | 00 |
a2= | 01 | Z2= | 01 | W2= | 01 |
a3= | 10 | Z3= | 10 | W3= | 10 |
a4= | 11 | Z4= | 11 | W4= | 11 |
Q1Q2 | x1x2 | y1y2 |
4. С учётом введённых кодов ТП и таблицы выходов будут иметь следующий вид.
Td
x1x2Q1Q2 | 00 | 01 | 10 | 11 |
00 | 00 | — | — | — |
01 | 10 | — | 00 | 11 |
10 | — | 00 | 11 | 10 |
11 | — | 10 | 10 | 01 |
Tl
x1x2Q1Q2 | 00 | 01 | 10 | 11 |
00 | 11 | — | — | — |
01 | 00 | — | 11 | 10 |
10 | — | 11 | 01 | 01 |
11 | — | 11 | 11 | 10 |
5. По таблицам выходов составляем уравнения логических функций для выходных сигналов y1 и y2, учитывая, что в каждой клетке левый бит – y1, а правый бит – y2.
; (1)
. (2)
Минимизируем уравнения (1) и (2).
x1x2Q1Q2 | 00 | 01 | 11 | 10 |
00 | 1 | X | X | X |
01 | X | 1 | 1 | |
11 | X | 1 | 1 | 1 |
10 | X | 1 |
x1x2Q1Q2 | 00 | 01 | 11 | 10 |
00 | 1 | X | X | X |
01 | X | 1 | ||
11 | X | 1 | 1 | |
10 | X | 1 | 1 | 1 |
; .
... входной шины: n ³ log2P = 2 Число разрядов выходной шины: m ³ log2S = 2 3. Кодирование автомата. Внутреннее состояние Входные шины Выходные шины a1= 00 Z1= 00 W1= 00 a2= 01 Z2= 01 W2= 01 a3= 10 Z3= 10 W3= 10 a4= 11 Z4= 11 W4= 11 Q1Q2 x1x2 y1y2 ...
... требует построения устройства памяти для запоминания текущего состояния автомата. Обычно используются двоичные элементы памяти, или триггеры, запоминающие значение одного двоичного разряда. 1. АБСТРАКТНЫЙ СИНТЕЗ КОНЕЧНОГО АВТОМАТА 1.1 Формирование алфавитного оператора Для определения параметров задания необходимо ввести первичную информацию: - порядковый номер в журнале; - год ...
... состоянии am. Рассмотренные выше абстрактные автоматы можно разделить на: 1) полностью определенные и частичные; 2) детерминированные и вероятностные; 3) синхронные и асинхронные; Полностью определенным называется абстрактный цифровой автомат, у которого функция переходов и функция выходов определены для всех пар ( ai, zj). Частичным называется абстрактный автомат, у которого функция ...
... функций возбуждения элементов памяти автомата зависит от количества разрядов вектора кода состояния и от количества информационных входов самого запоминающего элемента. Рассмотрим, например, что будет со структурным автоматом, если он находится в состоянии 01, и на его вход поступил сигнал 10. Как видно из таблицы переходов структурный автомат перейдет в состояние 11. Этот переход складывается ...
0 комментариев