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

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

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

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

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

• их каркасы

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

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

  корректны и связаны элементарным шагом типа Г, то есть, T◎ отличается от T⚪ лишь наличием дополнительной вершины nd* между двумя смежными вершинами nd⫯ и nd⫰ с соответствующей заменой дуги a = (nd⫯, nd⫰) на путь (nd⫯, nd*, nd⫰), то есть T⚪ и T◎ связаны элементарным шагом типа Г;

  

  и при этом:

  • если некая вершина является листом в T⚪, а значит и в T◎, то совпадают сопряжённые с ней базовые ВС

    vs⧋⚪ = vs⧋◎

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

. █

Назад Вперёд