Задание автомата с помощью графа
Граф автомата – это связный граф, вершины которого соответствуют внутренним состояниям автомата, а дуги определяют переходы между состояниями.
Для автомата Мили:
Две вершины графа автомата xi и xj соединяются дугой, направленной от xi к xj, если в автомате имеется переход из состояния xi в состояние xj. Дуге графа приписывается входной сигнал 
и выходной сигнал 
. Если переход автомата из состояния xi в состояние xj происходит под воздействием нескольких входных сигналов, то дуге приписываются все эти сигналы через знак v (дизъюнкции).
Пример:
 |
Для автомата Мура:
В автомате Мура выходной сигнал зависит только от внутреннего состояния автомата, поэтому он приписывается вершинам графа, соответствующим определенному внутреннему состоянию автомата. Все остальное как и в автомате Мили.
 |
Для асинхронного автомата.
Особенностью графа асинхронного автомата является следующее: для того чтобы автомат поддерживал себя в устойчивом состоянии до тех пор пока не придет новый входной сигнал, необходимо указать дугу, зацикливающую вершину саму на себя с тем же входным сигналом.
 |
Дата добавления: 2015-07-30; просмотров: 1071;