Otchet (Деление без восстановления остатка со сдвигом остатка), страница 4

В отмеченной ГСА путем перехода между состояниями аm и аs, называется последовательность следующего вида:

- обозначение вершины, из которой осуществляется переход;

- вершина, в которую осуществляется переход;

- обозначение условия вершины, через которые проходит путь от и , причем (в зависимости от логического условия X_mk).

Иногда возможно и такое что, когда K = 0 (нет ни одной условной вершины), в этом случае путь имеет вид .

Любой граф микропрограммного автомата Мили обычно задается в виде прямой или обратной таблицы переходов.

Выписывая пути перехода для нашей ГСА, составляем таблицу переходов для микропрограммного автомата Мили.

2.3 Составление структурной таблицы МПА

Нам задан автомат Мили. Для этого автомата необходимо построить прямую таблицу переходов, в которую вписываются пути перехода между соседними отметками. В прямую таблицу переходов, в отличае от обратной таблицы добавляется три столбца. В итоге мы имеем:

а_M – исходное состояние

K(а_M) – двоичный код исходного состояния

а_S – входной сигнал, под воздействием которого происходит переход из состояния A_M в состояние A_S

K(а_S) – двоичный код состояния перехода

X(а_M, а_S) – входной сигнал, соответствующий данному переходу

Y(а_M, а_S) – выходной сигнал, соответствующий данному переходу

F(а_M, а_S) – обязательные сигналы возбуждения памяти, необходимые для переключения МПА из состояния A_M в состояние A_S

Коды состояний K (am) и K (as) будем кодировать двоичной системой счисления. Всего у нас 20 состояний, а это значит, что для кодирования нам необходимо и достаточно 5-х разрядного числа, т.е. используем 5 JK-триггеров.

Таблица 3 - Структурная таблица МПА

Составление выражений функций возбуждения автомата:

J5 =

J4 =

J3 =

J2 =

J1 =

K5 =

K4 =

K3 =

K2 =

K1 =

Переведем функции возбуждения в свой базис “ИЛИ-НЕ”:

J5 =

J4 =

J3 =

J2 =

J1 =