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

F (а_m, а_s) – сукупність функцій збудження тригерів пам'яті на переході.

У зворотній таблиці автомата Мура (на відміну від прямої структурної таблиці) ведучим є стовпець станів переходу а_s. Вписують у стовпець а_s першого рядка стан a₁ та, аналізуючи закодовану граф-схему у напрямку орієнтації дуг, виявляють номери станів а_m, з яких є переходи у стан a₁. Ці стани вносять у стовпець а_m першого рядка таблиці. Кожному рядку таблиці відповідає певний стан автомата, а також кон’юнкція умовних сигналів Х_h=x_m1...x_mn та мікрокоманда Y_h=y_h1... y_hк. Ця інформація заноситься у відповідні стовпці таблиці. Далі, якщо немає більше переходів у стан a₁, відділяємо рискою масив переходів у стан a₁ від наступного масиву переходів в a₂.

Прямою структурною таблицею автомата Мілі є табл. 5.1.

Таблиця 5.1 – Пряма структурна таблиця автомата Мілі