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

111 5. Среды и языки этого автомата является состояние, Ь\. Значение функции выхода указано рядом с соответствующим состоянием. Таким образом, для построения автомата М на рис. 5. 1 использовался следующий алгоритм. Алгоритм разбиения последовательностей на классы эквивалентности: а) принять / = 0. Задать множество P=P(S); б) объявить множество Q. = 0; в) если существует хотя бы одна последовательность а* е Р такая, что QtRa* Рте. 5.1. Граф переходов (QtRa* означает , что для каждой последо- автомата Mv вательности а* е Q. имеет место at*Ra* , причем если Q. = 0, то всегда имеет место QtRa*), то перейти к следующему пункту. В противном случае перейти к пункту д); г) считать С,равным Qt\j а*, а Рравным Р\а*н перейти к выполнению пункта в) с новыми Qt и Р, д) если Р = 0, то перейти к пункту е). В противном случае принять / равным /+1 и перейти к пункту б) с новым /; е) отождествить полученные классы эквивалентности Qt, ¦¦¦,Qk с