9.3.5. Побудова закодованої мікрокомандної схеми алгоритму. Закодовану мікрокомандну схему алгоритму наведено на рис.9.12. Проставляємо мітки внутрішніх станів автомата Мура таким чином:

- мітки ставляться біля кожної мікрокоманди;

- початок і кінець мікрокомандної схеми алгоритма відмічається міткою s₀;

- перехід з одного стану в інший повинен проходити через умовну або операційну вершину автомата;

- біля кожної мікрокоманди мітки проставляються відповідно порядковому номеру.

9.3.6. Побудова основної таблиці абстрактного автомата. Основна таблиця абстрактного автомата (табл. 9.7) будується на основі закодованої мікрокомандної схеми алгоритму (рис. 9.12). У першому стовбці таблиці записуються всі стани, в яких може знаходитись автомат. В першому рядку таблиці вказуються вхідні сигнали, їх комбінації або синхроімпульс (СІ). Перехід за синхроімпульсом відбувається якщо між двома операційними вершинами не знаходиться умовна вершина.

Рисунок 9.12 – Закодована мікрокомандна схема алгоритму

В клітинках таблиці фіксується: стан, до якого переходить автомат та стан, який з’являється при цьому на виході. Наприклад, із стану s₀ автомат може здійснити перехід до стану s₁, і в результаті цього переходу на виході автомата з’явиться вихідний стан Y₁. Таким чином, автомат виконає ті мікрооперації, які виконуються на протязі одного такту (мікрооперація mY₁ закодована мікрокомандою Y₁), і цей перехід відбудеться в результаті дії вхідного сигналу СІ.

Таблиця 9.7 – Основна таблиця абстрактного автомата

	СІ=1		X1 X2	X1	X3		X4
s0	s1 / Y1
s1	s2 / Y2
s2	s3 / Y3
s3		s5 / Y5	s4 / Y4	s5 / Y5
s4	s5 / Y5
s5					s3 / Y3	s6 / Y6
s6							s2 / Y2	s0 / __

9.3.7. Побудова граф-схеми переходів.Граф-схема переходів (рис.9.13) будується на основі закодованої мікрокомандної схеми алгоритму (рис.9.12) і основної таблиці абстрактного автомата (табл. 9.7). Колами позначаються можливі стани автомата. Стрілки указують на перехід із стану s_i до стану s_j. Над стрілкою вказується, під дією якого вхідного сигналу або сигналу СІ станеться перехід, і який сигнал при цьому з’явиться на виході автомата.

9.3.8. Побудова системи рівнянь функцій переходів.Складаємо систему рівнянь функцій переходів (9.3). Ця система рівнянь складається на основі граф-схеми переходів (рис.9.13) або основної таблиці абстрактного автомата (табл. 9.7). Сигнал СІ в рівняннях не відображений. Наприклад, для першого рівняння системи справедливим є твердження, що можна перейти до стану s₀ зі стану s₆, якщо на вхід буде поданий сигнал . Шосте рівняння вказує на те, що можна перейти до стану s₅ зі стану s₄ під впливом синхроімпульсу або – зі стану s_3, якщо на вхід буде поданий сигнал або одночасно сигнали X₁ і . Таким чином маємо:

(9.3)