Алгоритм синтеза

Содержание (FireFox,Safari)

Получает на вход набор из основ систем ВС, ранее уже проверенных на согласованность соответствующим алгоритмом (см. 14.1).

Строит при возможности сборку

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

в виде её составных частей:

COM копии коммутаторов, которые должны совпадать, если в исходных T1 .. TN соответствующих И-узлов более одного

SEL для каждого из селекторов, сопряжённым с ЛИБО-узлом nd0 (дерева T) каждый его набор ЛИБО-ключей, сопряжённый с некоторой выходящей из него дугой (nd0, nde), должен совпадать с теми ключами, которые:

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

VS⧋ копии соответствующих базовых ВС из T1 .. TN, которые должны совпадать, если их более одной

VS⫧ для каждого узла T – это объединение:

Дальнейшими действиями являются:

восстановление из полученной основы соответствующей системы ВС с одновременной проверкой её на согласованность с помощью алгоритма синтеза ВС (см. 14.1)
проверка того, что в полученной системе все её частичные ВС являютcя проекциями соответствующих узловых ВС (данный алгоритм не приводится в силу его тривиальности)

Очевидно, так полученные компоненты основы [SVS] делают её О-прообразом для каждой из исходных основ, доказательством чему служат:

Поэтому идею такого неразрушающего объединения нескольких модулей в единую сборку удобно обозначать термином синтез. █

ru/en