6.3 Выбор типа автомата
Заданием предусмотрена реализация блока управления в виде автомата Мура.
6.4 Разметка схемы алгоритма
Для разметки используется формальная схема алгоритма, в которой названия микроопераций заменяются на соответствующие управляющие сигналы из таблицы 1. При разметке используются следующие правила:
Начальный и конечный операторы помечаются символам начального состояния (
).Все безусловные операторы помечаются символами следующих состояний (
,
,
)
Размеченная схема
алгоритма представлена на рисунке 6.
Как видно по результатам разметки,
автомат имеет 12 состояний (
,
,
… ,
).
6.5 Составление таблицы переходов и выходов
Таблица переходов и выходов составляется по размеченной схеме алгоритма. Число строк таблицы (без заглавной) равно числу комбинаций входных сигналов, а число столбцов (без заглавного) равно числу состояний автомата.
Для сокращения размеров таблицы следует учесть, что при входном сигнале a = 0 автомат может находиться только в состоянии . Таблица переходов и выходов автомата приведена в виде таблицы 2.
Таблица 2
Входы |
Состояния и выходы |
||||||||||||||||||||||||||
k |
r |
a |
b |
s |
Y0 |
Y1 |
Y2 |
Y3,Y4 |
Y5,Y6 |
Y5,Y8 |
Y7,Y6 |
Y7,Y8 |
Y9 |
Y10 |
Y11 |
Y12 |
|||||||||||
Q0 |
Q1 |
Q2 |
Q3 |
Q4 |
Q5 |
Q6 |
Q7 |
Q8 |
Q9 |
Q10 |
Q11 |
||||||||||||||||
0 |
- |
- |
- |
- |
Q0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
|||||||||||
1 0 0 0 0 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 0 0 0 1 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 0 0 1 0 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 0 0 1 1 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 0 1 0 0 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 0 1 0 1 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 0 1 1 0 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 0 1 1 1 |
Q1 |
Q2 |
Q3 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 1 0 0 0 |
Q1 |
Q2 |
Q4 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 1 0 0 1 |
Q1 |
Q2 |
Q4 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 1 0 1 0 |
Q1 |
Q2 |
Q5 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 1 0 1 1 |
Q1 |
Q2 |
Q5 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 1 1 0 0 |
Q1 |
Q2 |
Q6 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 1 1 0 1 |
Q1 |
Q2 |
Q6 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
1 1 1 1 0 |
Q1 |
Q2 |
Q7 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q11 |
Q11 |
Q0 |
|||||||||||||||
1 1 1 1 1 |
Q1 |
Q2 |
Q7 |
Q8 |
Q8 |
Q8 |
Q8 |
Q8 |
Q9 |
Q10 |
Q11 |
Q0 |
|||||||||||||||
Рисунок 6 - Размеченная схема алгоритма