3. Синтез автомата мілі

Розглянемо синтез автомата Мілі на прикладі 1.

Приклад 1. Побудувати операційний автомат, що обчислює кількість парних елементів у двох одновимірних масивах A[n] і B[m]. Мікропрограмний автомат реалізувати за схемою алгоритму у вигляді автомата Мілі. Функціональну схему автомата синтезувати на елементах І, АБО, НІ та RS-тригерах, доповнюючи її необхідними за алгоритмом функціональними автоматами.

3.1. Побудова змістовної схеми алгоритму

До складу змістовної схеми алгоритму (рис. 3.1) входять операційні (рис. 3.2) та умовні вершини (рис. 3.3). У нашому прикладі використовуються чотири умовні вершини і десять операційних.

3.2. Побудова таблиці кодування операційних та умовних вершин Кожна вершина схеми алгоритму, чи то операційна, чи то умовна, кодується. Причому якщо операційна або умовна вершини повторюються, то кожній з них далі присвоюється її попередній код. Кодування вершин подане у табл. 3.1.

Таблиця 3.1 – Таблиця кодування вершин

Код	Зміст	Примітка
mY1	i = 1
mY2	Kol = 0
mY3	A[i]	Введення А[і]
mY4	kol = kol + 1
mY5	i = i + 1
mY6	B[i]	Введення B[і]
mY7	kol	Виведення kol
X1	A [i] mod 2 = 0	так – 1, ні – 0
X2	i  n	так – 1, ні – 0
X3	B [i] mod 2 = 0	так – 1, ні – 0
X4	i ≤ m	так – 1, ні – 0

3 .3. Побудова закодованої мікроопераційної схеми алгоритму

mY₁

mY₂

mY₅

1

1

mY₁

mY₅

1

1

0

0

0

0

Закодована мікроопераційна схема алгоритму (рис. 3.4.) будується на основі схеми алгоритму (рис. 3.1.) і таблиці кодування операційних та умовних вершин (табл. 3.1) шляхом заміни вмісту блоків схеми алгоритму на відповідні коди мікрооперацій.

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

3.4. Побудова таблиці кодування мікрокоманд

Складаємо таблицю кодування мікрокоманд (табл. 3.2). Кожна мікрокоманда кодується своєю мікрооперацією, але мікрооперації, які виконуються одна за одною послідовно протягом одного такту, об’єднуються в одну мікрокоманду. У даному прикладі дві мікрооперації (mY₁ і mY₂) виконуються одна за одною послідовно. Тому вони об’єднані в одну мікрокоманду Y₁.

Таблиця 3.2 – Таблиця кодування мікрокоманд

Мікрокоманда	Мікрооперація
Y1	mY1, mY2
Y2	mY3
Y3	mY4
Y4	mY5
Y5	mY1
Y6	mY6
Y7	mY7