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

109 5. Среды и языки Начнем построение классов эквивалентности с проверки отношения R для двух первых последовательностей е, я, множества Р, проверяя последовательно на равенство значения функции <р* сначала для продолжения длины 0 этих последовательностей, затем длины 2, 3 и т.д., пока либо не получим неравенство этих значений, либо пока не станет очевидным, что на всех последующих продолжениях функции одинаковы. В первом случае последовательности помещаются в разные классы, а во втором в один и тот же. Если при проверке функций ф*(о*)м ф*(о*2) окажется, что ф*(о*) = с., а ф*(о*2) = X, то будем считать, что ф*(о*). Проверка на продолжениях длины 0: Ф*(е) = ф*(а,) = с,. Проверка на продолжениях длины 1: Ф*(еа,) = ф*(а,о,) = с,, ц>*(еаг) = ф*(о,в2) = с2, <р*{еаъ) = ф*(о,о3) =