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