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

5.2.1. Сокращение числа состояний Итак полагаем, что исходным для построения автомата является язык S где С, — класс эквивалентности отношения R, которому принадлежит пустая последовательность е. То, что R является отношением эквивалентности, объясняется прежде всего полной определенностью функции ф* за счет введения значения Я. этой функции на запрещенных последовательностях множества А*".