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

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

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

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

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

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

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

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

• если некая вершина является листом в Ti+1, а значит, и в Ti, то сопряжённая с ним базовая ВС становится базовой для той же вершины дерева Ti+1
• если некая вершина является узлом в Ti+1, а значит, и в Ti, то сопряжённая с ним частичная ВС становится частичной для той же вершины дерева Ti+1
• системообразующая ВС, сопряжённая с узлом nd* дерева Ti (построена по алгоритму синтеза согласованной системы ВС 14.1), становится базовой ВС, сопряжённой с тем же листом Ti+1

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

Назад Вперёд