16.11. Элементарный шаг модификации основы типа В

Пусть даны основы двух согласованных с ними систем ВС

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

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

Тогда одна из них считается полученной элементарным шагом (модификации основы) типа В другой (и образованные из них системы ВС) в случае если:

• их каркасы

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

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

  корректны и связаны элементарным шагом типа В, то есть:

  вместе с неким T∆ дерево T⚪ служит дополнением суммарного T◎

  

  и вершина nd* является узлом как в дереве T◎ , так и в T⚪

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

█

Назад Вперёд