Cтраница 4
В первом случае граф состояний автомата состоит только из циклов, а во втором - только из нулевых деревьев. [46]
Так как неупорядоченных пар состояний автомата конечное число, а на каждом шаге алгоритма вводится хотя бы одна новая пара, то существует такое п ( 1) оо, что на на шаге п ( 1) не будут найдены новые пары 1-неотличимых состояний; тогда алгоритм на шаге п ( 1) прекращает работу. [47]
В процессе противогоночного кодирования состояний автомата для развязывания переходов в коды состояний могут вводиться дополнительные переменные, которым присваиваются значения, обеспечивающие развязывание переходов. [48]
Этот этап называется кодированием состояний автомата. [49]
Рассмотрим алгоритм минимизации числа состояний автомата. [50]
Здесь А называется множеством состояний автомата, X - множеством входных сигналов, В - множеством выходных сигналов. Она называется выходной функцией автомата А и указывает значение сигнала на выходе в зависимости от значения входного сигнала и состояния автомата. [51]