Формирование логических выражений для функций возбуждения и функций выходов

По структурной таблице переходов и выходов можно построить логические выражения для всех выходных сигналов, формируемых КС.

Для формирования функций возбуждения ЭП из последнего столбца структурной таблицы выбираются строки, соответствующие определенной функции возбуждения. Для каждой строки составляются конъюнкции кодов исходных состояний и входных сигналов, записанных в данной строке. Образованные таким образом конъюнкции объединяют знаками дизъюнкций для всех строк, содержащих формируемую функцию возбуждения.

Аналогично записывают булевы выражения для функций выходов ориентируясь на столбец выходных сигналов Y(a_m, a_s) структурной таблицы переходов и выходов. Для автомата Мили каждый управляющий сигнал содержит конъюнкции кодов состояний и входных сигналов, объединенных знаками дизъюнкций для всех строк, содержащих формируемый управляющий сигнал. Для автомата Мура управляющие сигналы есть дизъюнкции состояний автомата, отмеченных соответствующими выходными сигналами.

После совместной минимизации полученной системы логических выражений для функций возбуждения ЭП и функций выходов можно перейти к построению КС в заданном логическом базисе.