VI. Модули и сборки

21. Композиция деревьев

21.1. Композиция деревьев

Пусть даны деревья

T0 = (ND0, A0),

T1 = (ND1, A1),

..

TN = (NDN, AN)

такие, что:

1. T1 .. TN являются проекциями T0
2. ND0 = ND1 ⋃ .. ⋃ NDN (вершины дерева T0 являются объединением множеств вершин всех остальных деревьев T1 .. TN)
3. если a0 ∈ A0, то ∃ ai ∈ Ai: a0 = ai, (i = 1..N) (каждая дуга a0 из T0 совпадает хотя бы с одной из дуг деревьев T1 .. TN)

В этом случае T0 называется композицией деревьев T1 .. TN. █

Замечание 21.1

Такое определение композиции основано на том взгляде, согласно которому отношение смежности между вершинами дерева разбиения любой системы ВС могут пониматься не только как "непосредственное следование", но и как просто "следование" между теми же вершинами, но уже некоторой надсистемы, что ранее было формализовано в понятии отношения прообраза-проекции деревьев.

Назад Вперёд