Завдання ЦА графом

Абстрактний автомат часто задають за допомогою графа.

Граф автомата − це орієнтований зв'язний граф, кожна вершина якого визначає стан ЦА, а дуги вказують напрямок можливих переходів стану під впливом вхідних команд та позначають вихідний сигнал. Вершини і з’єднують дугою, яка спрямована до вершини , якщо є перехід зі стану у стан . Цій дузі приписують вхідний сигнал і вихідний , якщо вони визначені в ЦА, і ставлять риску при їхній відсутності. Якщо таких сигналів небагато, то пишуть всі, як по входу, так і по виходу.

На рисунку 4.5 показаний граф часткового автомата, заданого таблицею переходів і виходів (таблиця 4.7).

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

Рисунок 4.5 – Граф автомата