Методичні вказівки до лабораторних занять з дисципліни «прикладна теорія цифрових автоматів», страница 46

Припустимо, що внутрішні стани закодовані наступним чином: К1 = 111; К2 = 000; К3 = 100; К4 = 110; К5 = 101.

Ці коди записані у стовпці К(а_m) та К(а_s) прямої структурної таблиці (табл. 7.1).

Отриманий з відміченої ГСА закон функціонування автомата реалізується схемою, процес синтезу якої називають структурним синтезом.

Академіком В. М. Глушковим розроблено загальний конструктивний прийом, що називається канонічним методом структурного синтезу автомата. Цей метод дозволяє звести задачу синтезу автомата до задачі синтезу комбінаційної схеми шляхом побудови системи булевих функцій, що виражають залежність вихідних сигналів автомата та сигналів збудження елементів пам'яті від вхідних сигналів та станів автомата. Функції збудження Z_к та функція виходу Y_l автомата Мілі знаходять з повністю оформленої структурної таблиці автомата у вигляді диз’юнктивних нормальних форм:

 Z_к = V а_m·Х_h(а_m,а_s);     к=,                                             (7.1)

(а_m,а_s)  Π h;

Y_l = V а_m· Х_h(а_m,а_s);     l=,                                             (7.2)

(a_m,a_s)   Π h,

де n та m – число сигналів збудження і вихідних сигналів автомата відповідно; h – номер рядка структурної таблиці, у стовпці F(а_m, а_s) якої є відмітка сигналу збудження Z_К або у стовбці Y(а_m, а_s) - відмітка вихідного сигналу Y_l. Терм (логічний добуток) а_m Х_h(а_m, а_s) включають у вираз Z_к, якщо сигнал збудження Z_к є у стовпці F(а_m, а_s) h-ого рядка таблиці автомата Мілі. Аналогічно терм а_m X_h(a_m, a_s) слід включити у вираз Y_l, якщо Y_l є у стовбці Y(a_m,a_s) h-ого рядка таблиці. Використовуючи коди внутрішніх станів к₁-к₅ та матриці переходів S, J*K* (інверсний тригер JK), RS-тригерів у загальному вигляді (табл. 7.2, 7.3) заповнюємо стовпець F_h. Відмітки вхідного сигналу у стовпці F_h проставляються, якщо на переході Q_m(t) – Q_s(t+1) даного рядка сигнал на вході тригера повинен прийняти одиничне значення.