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

119 Д, Среды и языки Рис. 5.4. Граф переходов с петлями для среды кота Q\Q) ~№v b2, by bA, b5, bt}, Q2i0> «{bv *,}. Если по этим множествам построить фаф переходов автомата Л#0), тЪ он будет иметь два состояния и не будет детерминированным, поскольку подмножества состояний {bv b2, bA, b5], {by b6} одного и того же класса 0,(О) переходят в состояния различных классов (?,<0> и С2<0). Поэтому по этим классам не может быть построен автомат М9 и класс С,(0) необходимо разбить на подклассы Q<1) = {bv Ьг, Ь„ Ь5}, Q2(l) = {bv b6}, G,(l) = Q2m. Если построить по этим классам автомат Л/(|), то он будет иметь три состояния, но опять не будет детерминированным, поскольку подмножества состояний {br Ь2], {Ьл, Ь5), одного и того же класса Q™ переходят в состояния различных классов Q,'"и Q2<1). Это видно на рис. 5, 7. Разобьем класс С,(|) на два подкласса. В результате получим классы G,<2) = <*„ b2), O2<2) = {Ьл, bj, Qv = G2<0, Q