Содержание (FireFox,Safari)
16.5. Алгоритм построения основы системы согласно ЭШ типа А
Получает на вход основу произвольной согласованной системы ВС
[SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎>
а также основу её О-проекции
[SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>
Cтроит основу системы
[SVS△] = <T△, COM△, SEL△, VS⧋△, VS₸△>
по следующим правилам:
- деревья T△ (с корнем nd) и T◎ связаны элементарным шагом типа А (T△ является поддеревом T◎, построенным согласно алгоритму 9.7А)
- каркасы SKEL△ и SKEL◎ связаны элементарным шагом типа А (SKEL△ построен согласно алгоритму 9.7А, определяющим COM△ и SEL△)
- если некая вершина является листом в T△, а значит, и в T◎, то сопряжённая с ней базовая ВС из VS⧋◎ включается в состав базовых VS⧋△ системы SVS△ (будучи сопряжена с той же вершиной дерева T△)
- каждая частичная ВС из VS⫧◎, сопряженная с произвольной вершиной (под-)дерева T△ дерева T◎ включается в состав частичных VS⫧△ (будучи сопряжена с той же вершиной)
Тем самым, становятся определены все составляющие основы [SVS△]. █