11.6. Отношение (К-)проекции-прообраза между каркасами

Пусть даны два корректных каркаса

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

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

такие, что:

• T⚪ является Д-проекцией T◎
• если узел типа И принадлежит обоим деревьям T⚪ и T◎, то совпадают сопряжённые с ними коммутаторы

  com⚪ ∈ COM⚪ и com◎ ∈ COM◎: com⚪ = com◎

• если узел типа ЛИБО принадлежит обоим деревьям T⚪ и T◎, то у сопряжённых с ними селекторов sel⚪ ∈ SEL⚪ и sel◎ ∈ SEL◎ совпадают соотносимые с каждым общим каналом K ключи

  k⚪ ∈ sel⚪ и k◎ ∈ sel◎: k⚪ ⊆ k◎

  • входят в селектор того же ЛИБО-узла nd0 (того Ti из T1 .. TN, где этот узел присутствует)
  • будучи сопряжены с дугой (nd0, ndi) в таком Ti, выходящей из nd0 и ведущей к вершине ndi, которая в дереве T0 либо совпадает с nde, либо подчинена nde (см. 11.3 – определение проекции каркасов)

В этом случае SKEL⚪ и SKEL◎ связаны отношением (К-)проекции-прообраза. █

Назад Вперёд