14. Алгоритм синтеза согласованной системы ВС

14.1. Алгоритм синтеза согласованной системы ВС

Алгоритм синтеза согласованной системы ВС по информации о составляющих основы системы ВС:

• T - дерево разбиения
• COM и SEL – коммутаторы и селекторы
• VS⧋ - базовые ВС
• VS₸ - частичные ВС

делает заключение о существовании согласованной с ней системы ВС (и корректности собственно основы). █

Вначале необходимо на основе Леммы 12.5 проверить, корректность каркаса.

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

Как видно, работа алгоритма сводится к одной из четырёх следующих альтернатив в зависимости от типа узла:

1. для листа - алгоритм возвращает состояния сопряжённой с ним базовой ВС, а также проверяет, что все частичные ВС, сопряжённые с данным узлом, являются проекциями полученной ВС

2. для И-узла - исполнение алгоритма получения произведения ВС

3. для ЛИБО-узла - исполнение алгоритма получения суммы ВС

4. для И-ЛИБО узла - исполнение алгоритма получения канального соединения ВС

Ошибка говорит о том, что не может быть построено либо множество состояний ВС одного из подчинённых узлов, либо, при их существовании, - их произведения, их суммы или их канального соединения . █

Назад Вперёд