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

G, = {е, с,, «,о,, о,о3, е^ау а2аха2, аг\, С?2= {а2, о,о2, о2о2, о2о,о,}, с,-ад. Сопоставим классы эквивалентности Qv Q2, Q3 соответственно состояниям Ъ'р Ъ\, Ъ'3 автомата М^. Поскольку последовательности о,, о,о, множества Q/j, принадлежат классу Qv то/(о,, Ь\) = Ь\, т.е. автомат Л/, находящийся в состоянии Ь\, при совершении действия о, остается в том же состоянии. Остальные последовательности множества 0,о, принадлежат классу, который нас в данном случае не интересует (классу Qk+i при к = 3 для данного примера). Далее, поскольку входные последовательности а2, аха2 множества Qia1 принадлежат классу Q2, тоДа2, Ь\) = Ь'2 и т.д. В результате получим автомат М9, граф переходов которого показан на рис. 5. 1. Начальным состоянием