16.23. Алгоритм применения ЭШ типа Е

Получает на вход основы для согласованной системы ВС

[SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎>

а также основу её О-проекции

[SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>

Рекурсивным применением строит ряд основ систем [SVS⧋1] .. [SVS⧋N]

• первый член совпадает с [SVS◎]
• соседние члены [SVS⫧]i и [SVS⫧]i+1 связаны элементарным шагом типа Е так, что в [SVS⫧]i+1 по сравнению с [SVS⫧]i вместо очередной базовой ВС присутствует её ВС-проекция, совпадающая с соответствующей базовой ВС из VS⧋⚪
• к последнему члену [SVS⧋N] не применим никакой элементарный шаг типа Е по указанному правилу

. █

Назад Вперёд