Page 39 - 4128

виходів кожен стан відмічений відповідним вихідним
сигналом u i вихідного алфавіту типу 2 (табл.2.6).

Таблиця 2.5 - Таблиця переходів С – автомата

a 1 a 2 a 3 a 4
z 1 a 1 a 2 a 2 a 3
z 2 a 3 a 4 a 1 a 2

Таблиця 2.6 - Таблиця виходів С – автомата

U 1 U 2 U 3 U 4
a 1 a 2 a 3 a 4

z 1 w 1 w 4 w 1 w 2
z 2 w 3 w 2 w 1 w 3

При графічному способі автомат задається у вигляді
орієнтованого графа, вершини якого відповідають станам, а
дуги - переходам між ними. Дуга, направлена з вершини a m,
задає перехід в автоматі із стану a m в стан a s. На початку цієї
дуги записується вхідний сигнал Z fZ, що викликає даний
перехід a s=(a m,z f). Для графа автомата Мілі вихідний сигнал
w gW, сформований при переході, записується в кінці дуги, а
для автомата Мура - поряд з вершиною a m, відміченою станом
a m, в якому він формується. Якщо перехід в автоматі із стану
a m в стан a s створюється під дією декількох вхідних сигналів,
то дузі графа, направленої з a m в a s, приписуються всі ці вхідні
і відповідні вихідні сигнали. Граф С- автомата містить вихідні
сигнали двох типів і вони позначаються на графі як на графах
відповідних автоматів. Графи автоматів, заданих своними
таблицями переходів і виходів (табл. 2.12.6) представлені на
рисунках 2.2-2.4.

2.2 Зв'язок між моделями Мілі і Мура
Розглянемо деякий автомат Мілі, заданий таблицями
38