22.1. Сборка модулей

Пусть даны основы N согласованных систем ВС:

[SVS1] = <T1, COM1, SEL1, VS⧋1, VS⫧1>

..

[SVSN] = <TN, COMN, SELN, VS⧋N, VS⫧N>

являющиеся О-проекциями для основы некоторой согласованной системы

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

такими, что T является композицией деревьев T1 .. TN.

В этом случае [SVS] называется сборкой из модулей [SVS1 .. [SVSN]. █

Формула сборки - это просто непустое объединение нескольких формул согласованных систем

Пример ... демонстрирует такую формулу сборки

Назад Вперёд