Построение графа переходов дискретного состояния автомата

Для наглядности принципа последовательности функционирования автомата строятся графы, состоящие из системы вершин и ребер направлений. Каждая вершина графа соответствует конкретному его внутреннему состоянию. Ребро графа указывает направление перехода автомата из одного состояние в другое.

На рис.7 приведен граф автомата, описанного таблицей 3. Произвольно расставив вершины состояний автомата: а1, а2, а3, а4 согласно таблицы 3 обозначим ребрами направления перехода автомата из одного состояния в другое. Так в такте Х1 автомат из состояния а1 вновь приходит в это состояние. Ребро такого направления (исходящего и входящего в одну и туже вершину) называется петлей. Далее в этом же такте из вершины а2 ребро направляем в вершину а3, а из вершины а4 в вершину а1 и так далее о каждому такту. В итоге получим результирующий граф переходов, представленный на рис.7. Этот граф может быть представлением одной из форм алгоритма работы дискретного автомата. За начало этого алгоритма принимается та вершина графа, из которой только выходят ребра, и нет в ней входящих ребер. Аналогично за конец алгоритма принимается та вершина графа, в которую только входят все ребра, и нет в ней выходящих ребер.

Рис 7. Граф переходов состояний автомата.