Законы функционирования автоматов

В зависимости от способа формирования выходных сигналов Y выделяют два типа автоматов:

– автомат МИЛИ;

– автомат МУРА.

Структурная модель автомата МИЛИ показана на рис. 6.

Рисунок 6

 

Автомат МИЛИ содержит комбинационную схему (КС) где жестко защиты микропрограммы, регистр состояний R и дешифратор DC для перевода двоичного кода (V) состояния автомата в унитарный код ( а ).

На вход КС подаются состояния автомата ( а ) и осведомительные сигналы Х. В зависимости от этих входных сигналов КС вырабатывает различные управляющие сигналы Y и сигналы возбуждений U для перевода регистра состояний R в следующее состояние. С выхода регистра R снимается двоичный код V состояния УА.

Переход автомата в новое состояние определяется сигналами возбуждений U, которые зависят от сигналов Х_t и а_t, поступающие на КС в данный момент времени t.

Поэтому следующее состояние автомата а_t+1 определяется через состояние а_t в данный момент времени и сигналов Х_t:

а_t+1=d(а_t,Х_t).

Выходные сигналы Y_t в данный момент времени зависят от сигналов Х_t и а_t, поступающие на вход КС:

Y_t=l(а_t,Х_t).

Структурная модель автомата МУРА представлена на рис. 7.

Рисунок 7

 

В автомате МУРА цепочка перевода автомата в новое состояние такая же, как и у автомата МИЛИ. Однако выходные сигналы Y_t здесь зависят только от состояния а_t в данный момент времени. Поэтому закон функционирования автомата МУРА запишется в виде:

а_t+1=d(а_t,Х_t),

Y_t=l(а_t).

Возможны и другие типы автоматов, но они являются частным случаем автоматов МИЛИ или МУРА. Например, разомкнутый автомат МИЛИ по шине Y представленный на рис.8 имеет закон функционирования:

а_t+1=d(а_t),

Y_t=l(а_t,Х_t).

 

Рисунок 8

 

В таком автомате вместо регистра состояния R вводится двоичный счетчик. Вместо сигналов возбуждений U на счетчик (СЧ) подается синхросигнал С.

 

 

Объединение автоматов МИЛИ и МУРА в одну схему выделяется в отдельный тип автомата С-автомат (рис.10).

 

Рисунок 10

 

Закон функционирования С-автомата:

а_t+1=d(а_t,Х_t),

Y_1t=l₁(а_t,Х_t),

Y_2t=l₂(а_t).