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

5.2.2. Пример сокращения числа состояний Пусть задано следующее множество S простым перечислением последовательностей о*ф*(о*). А= {о,, а2, о3}, ф*(о*) е С = {с,, с2, с3}: S = {ect, axcv axa^cv ata2cv axa^cv a2c2, o2o,c3, a2a2c2, а2аъс{, а2ахахс2, Тогда, согласно определению, P(S) = {e, а,, о.о,, o,fl2, fl,fl3, a7, о2ор а7а2, a2av a2axax, агахаг, о3}. Множество S содержит все начала своих последовательностей. В множество S* \ S входят последовательности, которые могут быть получены продолжением последовательностей множества S с соблюдением свойства регулярности. Если последовательность а* е S*\S, т.е. a* t S, то Ф*(О = X. Очевидно, что множество P{S*), где S* = S u S*\S, содержит все собственные начала своих последовательностей, т.е. удовлетворяет условиям полноты. Оно удовлетворяет также условиям непротиворечивости и регулярности.