Функциональная связь сигналов микроопераций и входных сигналов и ее влияние на работу автомата Мили

Входные сигналы в управляющий автомат поступают из операционного автомата и отражают состояние элементов операционного автомата. Состояние ОА изменяется под действием сигналов микроопераций. Таким образом, некоторые микрооперации влияют на значение некоторых входных сигналов УА.

Пара сигналов называется функционально связанной, если сигнал может измениться в результате выполнения микрооперации, инициированной сигналом . Наличие такой функциональной связи может нарушить работу автомата Мили.

Например, рассмотрим фрагмент ГСА:

Имеет место функциональная связь между сигналами и . Поэтому возможно следующее поведение автомата.

Ошибки:

1) В течение такта УА сформировал сигналы микроопераций заданные в 2х различных операторных вершинах ГСА, причем взаимно исключающих друг друга, что недопустимо.

2) В момент перехода УА в состояние значение было такое, что по ГСА следовало двигаться через состояние . Но в результате изменения значения с 0 на 1, пока УА еще был в состоянии , сигналы возбуждения элементов памяти будут определяться значением .

Поэтому УА, выработав в начале такта сигнал , в конце такта выработает микрокоманду и перейдет в состояние .

Заметим, сбой УА оказался возможен потому, что сигнал вырабатывается на том же такте, на котором учитывается функционально связанный с ним сигнал .

В этих ГСА сбой не возможен.

Функциональная связь не оказывает неблагоприятного влияния на работу атомата Мура.