Находим количество элементов памяти , ( - число состояний абстрактного автомата) и кодируем состояния абстрактного автомата (табл.5.1).
Таблица 5.1.
am\
a1
a2
…
aM
Кодируем входные и выходные сигналы, то есть
находим количество входов структурного автомата , ( - число входных сигналов абстрактного автомата);
количество выходов 1 типа ; ( - число выходных сигналов 1 типа);
количество выходов 2 типа , ( - число выходных сигналов 2 типа) и кодируем входные (табл.5.2) и выходные сигналы (табл.5.3) и (табл.5.4) абстрактного автомата.
Составляем закодированную таблицу выходов автомата и по ней записываем уравнения выходов.
;
;
. . .
;
;
;
. . .
;
. . .
Составляем закодированную таблицу переходов автомата и по ней записываем уравнения для функций возбуждения, используя таблицы переходов соответсвующих элементов памяти.
;
;
. . .
;
Уравнения функций возбуждения и выходов минимизируются (по картам Карно, например) и по ним строится схема в заданном функционально - логическом базисе ({И, ИЛИ, НЕ}, {И-НЕ}, {ИЛИ-НЕ}).