Задание автомата деревом функционирования

Автомат может быть задан модификацией графа переходов, называемого деревом функционирования. Этот способ задания имеет то преимущество, что позволяет проанализировать работу автомата такт за тактом.

Вершины дерева отмечены состоянием автомата (рис. 4.6)

Автомат начинает функционировать из состояния a ₁ и далее переходит к другим возможным состояниям под действием входного сигнала x _j. Дерево на рис. 4.6 построено по автоматной ленте (табл. 4.6)

Рисунок 4.6 – Дерево функционирования абстрактного автомата Мили по продаже жетонов