16.20. Алгоритм построения ряда основ систем согласно ЭШ типа Д

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

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

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

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

Рекурсивным применением строит ряд основ систем [SVS1] .. [SVSN], в котором:

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

█

Назад Вперёд