Запись функций выходов и переходов автомата.

В функциях выходов , записанных в виде ДНФ, описываются условия формирования автоматом микрокоманды y_i; a_m — исходное состояние, X(a_m, a_s) — условия перехода из a_m в a_s.

В функциях переходов , также записанных в виде ДНФ, описываются значения сигналов управления элементами памяти, обеспечивающих переход из состояния a_m в a_s.

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

По обратной структурной таблице запишем функции для Y_i и D_i.

Построение схемы автомата Мили (рис.2).

В качестве элементов памяти использованы D-триггера T₁ и T₀. DC — дешифратор состояний автомата. Z_i — промежуточные функции — термы из функций. Их введение позволило упростить схему автомата.