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

Получает на вход два каркаса

SKEL⚪ = <T⚪, SH⚪, COM⚪, SEL⚪> и

SKEL◎ = <T◎, SH◎, COM◎, SEL◎>

Рекурсивным применением строит ряд каркасов SKEL1 .. SKELN, в котором:

• первый член совпадает с SKEL◎
• соседние члены SKELi и SKELi+1 связаны элементарным шагом типа Б
• к последнему члену SKELN не применим никакой элементарный шаг типа Б

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

• COMi+1 и SELi+1, сопряжённые с вершинами Ti+1, наследуются от соответствующих коммутаторов и селекторов SKELi кроме случая, когда nd имеет тип ЛИБО – для неё удаляются ключи, сопряжённые с удаляемыми дугами
• множество унаследованных ключей SHi+1 для каждой сохранённой в Ti+1 вершины совпадает с множеством унаследованных ключей SHi

█

Назад Вперёд