5.5. Граф переходов состояний среды
Вернемся теперь снова к примеру со средой кота из второй главы и рис. 2.2, на котором показано дерево переходов из начального состояния во все состояния этой среды. От этого дерева легко перейти к графу переходов, оставив только одну из повторяющихся вершин (ту, которая расположена ближе к начальному состоянию) и направив дугу в оставшуюся вершину. В результате получится граф переходов, показанный на рис. 5.4. На этом графе каждая вершина имеет петлю. Это означает, что при действии (действиях), соответствующем петле, состояние среды остается неизменным и такие действия желательно не осуществлять. Устраним их на графе, изображенном на рис. 5.4. В результате получим граф без петель, показанный на рис. 5.5. Зададим на множестве состояний этого графа функцию
Будем полагать, что на целевых состояниях
а на всех остальных
Построим автомат М по последнему алгоритму. Получим классы

(кликните для просмотра скана)