11.4. Лемма

Если ключи коммутатора условно приписать каждой дуге, выходящей из И-узла, то

для корректного каркаса

SKEL = <T, SH, COM, SEL>

а также принадлежащей его дереву T некоторой вершины ndm, связанной с корнем путем из дуг a1.. am, сопряженное с ней множество унаследованных ключей Shm есть произведение множеств ключей, сопряженных и «приписанных» к указанным дугам a1.. am.

Shm = {k1} ✖ … ✖ {kM}

█

Назад Вперёд