Искусственный интеллект

127 5. Среды и языки 5.7.3. Минимизация числа состояний Перейдем теперь к минимизации числа состояний автомата, показанного на рис. 5.12, по алгоритму детерминизации по множеству состояний. На рис. 5.13 — 5.16 показаны совокупности классов состояний Q0), Q1', Q2\ Q3), полученные по этому алгоритму. В соответствии с классами Qi} после переобозначении классов символами состояний получаем автомат, граф переходов которого показан на рис. 5.17. 5.8. Языки и грамматики В предыдущих параграфах было дано понятие языка, используемого для описания поведения среды. Был рассмотрен простейший вариант такого языка в виде конечного множества последовательностей S. Было показано, как от такого простейшего описания, обладающего определенными свойствами, можно перейти к графовому представлению этого языка в виде автомата и представить этот автомат на языке логики.