2020-01-14
230
Переход от алгоритмического описания к автоматному осуществляется путём разметки ГСА.
Правила разметки ГСА при реализации автомата по модели Мили:
1. символом начального состояния а1 отмечается вход вершины, следующей за начальной, а также вход конечной вершины ГСА;
2. входы всех вершин, следующих за операторными, отмечаются различными символами а1... аi... аn;
2. входы вершин ГСА, следующих за операторными, должны быть отмечены одним единственным символом а;.
Указанные правила разметки сформулированы для однократно выполняемых алгоритмов, при этом конечное состояние УА отождествляется с начальным состоянием.
В данном курсовом проектировании используется инициальный автомат, то есть автомат, в котором до подачи синхронизирующих сигналов элементы блока памяти приводятся в определённые начальные состояния специальным сигналом начальной установки (НУ).
По приведённым выше правилам, произведём разметку заданной граф - схемы алгоритма (рисунок 6).
Рис. 6
В результате разметки ГСА определим множество внутренних
состояний управляющего автомата: А= {а1...а11}, а также мощность этого множества: |A|=n=11.
5.2 Описание управляющего автомата с помощью таблиц переходов и выходов.
По разметке ГСА (рисунок 6) составим прямую таблицу переходов и выходов.
Прямой таблицей переходов и выходов называют таблицу, в которой последовательно перечисляются все переходы сначала из первого состояния во все допустимые, потом из второго и так далее до последнего состояния.
Таблица содержит следующие переменные:
аm - состояние УА, из которого осуществляется переход за один такт автоматного времени;
аs - состояние УА, в которое осуществляется переход за один такт автоматного времени;
Х (am,aS) - логическое условие перехода из аm в аs;
Y (аm) - микрокоманда (подмножество микроопераций), выполняемая автоматом в состоянии аm (для автомата типа Мура).
Каждая строка таблицы соответствует одному из путей перехода из одного состояния в другое, имеющемуся в ГСА.
Структура прямой таблицы переходов и выходов представлена таблицей 2.
Таблица 2
| am, Y(am) | as | X(am, as) |
| а1, Y2 | а2 | x1x2 |
| а1, Y3 | a4 | х1  2
|
| а1, Y8 | a6 | 1
|
| а2, Y4 | а3 | x4 |
| а2, Y5 | a5 | x3 4
|
| а2, Y8 | а1 | 4 3x5x6
|
| а2, Y7 | a1 | 4 3x5 6
|
| a2, Y6 | a11 | 4 3 5
|
| a3, Y8 | a1 | 1 |
| a4, Y5 | a5 | X3 |
| a4, Y8 | а1 | 3x5x6
|
| a4, Y7 | a1 | 3x5 6
|
| a4, Y6 | a11 | 3 5
|
| a5, Y8 | a1 | 1 |
| a6, Y2 | a7 | x3 |
| a6, Y3 | a8 | 3
|
| a7, Y4 | a9 | 1 |
| a8, Y4 | a9 | x2 |
| a8, Y5 | a10 | 2
|
| a9, Y6 | a11 | 1 |
| a10, Y6 | a11 | 1 |
| a11, Y7 | a1 | 1 |
6. Структурный синтез управляющего автомата со схемной реализацией логики управления.
