11.3. Алгоритм построения множеств унаследованных ключей корректного каркаса

На вход алгоритму поступает каркас

SKEL = <T, SH, COM, SEL>

и исходное множество унаследованных ключей Sh0, сопряженное с корнем T.

Далее рекурсивным образом применяется ко всем непосредственно подчиненным вершинам и соответствующим каркасам с множеством унаследованных ключей, вычисляемым по следующим правилам:

• если с текущей вершиной типа И сопряжено множество Sh, а сопряжённый с ней коммутатор com имеет каналы, образованные ключами

  com = {k1, … ,kM}

  то для каждой непосредственно подчинённой вершины сопряжённое с ней множество унаследованных ключей Shi вычисляется как (полное) произведение исходного множества Sh на это множество ключей из коммутатора com:

  Shi = Sh ✖ {k1, … ,kM}

• если с текущей вершиной nd типа ЛИБО сопряжено множество Sh, а сопряжённый с этой вершиной селектор sel из SEL имеет каналы, образованные ключами {k11, … ,k1M} .. {kN1, … ,kNL}, то множество унаследованных ключей Shi каждой непосредственно подчинённой вершины ndi есть (полное) произведение Sh и {ki1, … ,kiM}:

  Shi = Sh ✖ {ki1, … ,kiM}

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

Назад Вперёд