Содержание (FireFox,Safari)
16.13. Алгоритм построения ряда основ систем согласно ЭШ типа В
Получает на вход составляющие основы для согласованной системы ВС
[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∆]. █