Синтез синхронного управляющего автомата (стр. 6 из 7)
Составление логических уравнений для функций возбуждения блока памяти F(аm,аs) сводится к составлению совокупности логических уравнений для каждой отдельной функции возбуждения элементов памяти (f1 … fr). Логические уравнения записываются как дизъюнкция конъюнкций структурного кода исходного состояния автомата K(am) и комбинации входных сигналов X (аm,аs) по тем строкам таблицы 5, в которых в соответствующем столбце fi присутствует значение, равное 1.
Для автомата типа Мура, представленного расширенной структурной таблицей 5, логические уравнения для функций возбуждения элементов памяти будут иметь следующий вид:
f1=
+ 
+ 
+ 
+ 
+ 
1+ 
+ 
+ 
+ 
+ 
+ 
f2=
+ + 
+ + 
+ 
+ 
+ 
+ 
+ 
+ 
f3=
+ + + 
+ 
+ 
+ 
+ 
+ f4=
+ 
+ + + 
Для автомата типа Мура логические уравнения функций выходов (yi) формируется на основе графы am, Y (аm) соответствующей структурной таблицы (в данном случае таблицы 6.7). Функции выходов для автомата типа Мура представляют собой дизъюнкции только конъюнкций структурного кода исходного состояния автомата K( am) по тем строкам структурной таблицы, в которых присутствует выходной сигнал yi. Логические уравнения для функций выходов автомата типа Мура не содержат символов входных переменных. Логические уравнения составляются для всех выходных сигналов.
Функции выхода для автомата Мура будут иметь вид:
y1=
+ 
+ 
y2=
+ 
+ + 
+ + 
+