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

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

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

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

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

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

• первый член совпадает с [SVS◎]
• соседние члены [SVS△]i и [SVS△]i+1 связаны элементарным шагом типа Г
• к последнему члену [SVSN] не применим никакой элементарный шаг типа Г

Содержательно каждый шаг данного алгоритма основан на применении к вновь построенному по алгоритму 11.4Г каркасу SKEL△i+1 следующих действий:

• если некая вершина является узлом в T∆, а значит, и в T◎, то сопряжённая с ней базовая ВС из VS⧋◎ включается в состав базовых VS⧋∆ системы SVS∆ (будучи сопряжена с той же вершиной дерева T∆)
• каждая частичная ВС из VS⫧⚪, сопряженная с произвольной вершиной дерева T⚪, включается в состав базовых VS⧋∆ системы SVS∆ (будучи сопряжена с той же вершиной дерева T∆)

Тем самым, становятся определены все составляющие основы [SVS∆]. █

Назад Вперёд