Выдержка из книги
Горбатов В.А.
Логическое управление распределёнными системами
Автоматное отображение XS - S-Y задается, как правило, в виде графа переходов Gn S, ( U, ( X, У)), ( U S2), вершины которого взаимно однозначно соответствуют внутренним состояниям автомата, а дуги-переходам между ними, причем каждая дуга взвешена парой векторов ( X, У), при которой этот переход осуществляется. В целях упрощения задания автомата параллельные дуги графа переходов могут склеиваться. В этом случае некоторые компоненты входных и выходных векторов обозначаются символом -, указывающим на то, что при осуществлении данного перехода значение сигнала, приписанного данной компоненте вектора, несущественно для функционирования устройства. У асинхронного автомата каждая дуга графа переходов дублируется в концевой вершине петлей, взвешенной той же парой векторов ( X, Y), что и соответствующая дуга. Для графа переходов синхронного автомата это условие может не выполняться.
