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

117 5. Среды и языки М. Состояниям l/.i0, b'S1*, ... 1/.}° этого автомата соответствуют классы пТо п о п (/> Функцией переходов автомата Л/(<) является функция /«>(с, 1/р) = {*V°I а* е Q}<\ a*a <= а функцией выходов ф(/)^.(/)) = { а*ае QV)y Начальным состоянием автомата Л/(1) является состояние Ь\и\ соответствующее классу Q<'\ который содержит пустую последовательность е. Автомат Ми) в общем случае является недетерминированным, так как из одного и того же состояния Ь'}'\ по одному и тому же входному состоянию а возможен переход в несколько различных состояний b'hin. При этом, поскольку отношение Eird совпадает с отношением R, то при выполнении условий полноты, непротиворечивости и регулярности для множества S автомат Л/(7)) совпадает с автоматом М, т.е. является инициальным, детерминированным и конечным.