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

113 5. Среды и языки состояние (Ь2) л действие (а2) => состояние (Ь6), состояние (Ь2) л действие (а3) г> состояние (Ь7), состояние (Ьг) л действие (о,) г> состояние (Ья), состояние (Ь}) л действие (о2) з состояние (Ь9), состояние (Ьг) л действие (аг) г> состояние (Ь10), состояние (?g) л действие (о,) => состояние (bt]), состояние (Ь9) л действие (а2) з состояние (bl2). Легко заметить, что подобное описание можно осуществлять как по дереву, так и по графу переходов автомата, реализующих множество S. Если воспользоваться графом на рис. 5.1, то получим следующее множество формул. Атомы действий для графа. Эти атомы, естественно, те же самые, что и для дерева на рис. 5.2: действие (а,), действие (а2), действие (о3). Атомы состояний для графа. Граф переходов на рис. 5.1 содержит существенно меньше вершин (состояний), чем дерево на рис. 5.2. Поэтому и количество атомов для состояний меньше: