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

Множество классов эквивалентности можно использовать для построения автомата, реализующего множество 5*, на основании следующих свойств классов эквивалентности Qv Qv ..., Qk+V являющихся следствием условий полноты, непротиворечивости и регулярности множества последова¬тельностей действий А*". Свойство однозначной продолжаемости. Для всякого действия а * и всякого класса эквивалентности Q^ 1 <. г < к + 1, существует единственный класс Qt, 1 < / < к + 1, такой, что и Qa с Qt, где Qa — множество всех входных последовательностей а*а таких , что последовательность а* е Qr. Свойство связности. Для любого класса Qt, 1 < t< к + 1, существует хотя бы одна последовательность действий а* = а1а1 ... at,, такая, что G,fl| с Qv Q2a2 с Qv ..., Q,AatA cG,