Page 37 - 4128

Автомат називається синхронним, якщо він не є
асинхронним.
Абстрактний автомат називається кінцевим, якщо
кінцеві множини А = {a 1, a 2, ..., a m}, Z = {z 1, z 2, ..., z f}, W = {w 1,
w 2, ..., w g}. Автомат носить назву ініциального, якщо в ньому
виділений початковий стан a 1.

2.1 Способи опису і задання автоматів

Для того, щоб задати автомат, необхідно описати всі
компоненти кортежу S=(А, Z, W, , , а 1 ). Множини А, Z, W
описуються і задаються простим переліком своїх елементів.
Серед різноманіття різних способів задання функцій  і 
(отже і всього автомата в цілому) найбільше поширення
набули табличний і графічний.
При табличному способі завдання автомат Мілі
описується за допомогою двох таблиць. Одна з них (таблиця
переходів) задає функцію , тобто а(t +1)= (а(t), z(t)) (табл.
2.1), друга (таблиця виходів) - функцію , тобто W(t)=
=(а(t), z(t)) (табл. 2.2).

Таблиця 2.1 - Таблиця переходів автомата Мілі
a 1 a 2 a 3 a 4
z 1 a 2 a 1 a 2 a 3
z 2 a 3 a 4 a 1 a 1

Таблиця 2.2 - Таблиця виходів автомата Мілі
a 1 a 2 a 3 a 4
z 1 w 1 w 2 w 1 w 2
z 2 w 2 w 3 w 4 w 5

Кожному стовпчику з приведених таблиць поставлено у
відповідність один стан з множини А, кожному рядку - один
36