14.4 Алгоритм получения канального соединения ВС

Для получения состояния произведения для группы из N ВС vs1 .. vsN и коммутатора com этот алгоритм:

1. рекурсивным вызовом определяет состояния ВС всех вершин, непосредственно подчинённых данному

2. проверяет, что каждое состояние каждой из полученных ВС имеет произведение ровно с одним ключом из состава коммутатора (получение каналов)

3. проверяет, что каждое состояние указанного коммутатора участвует в образовании некоторого канала

4. получает произведение ВС, образующих один канал

5. получает сумму, образованных каналов

6. проверяет, что все частичные ВС, сопряжённые с данным узлом, являются проекциями полученной ВС (суммы, так образованных каналов)

Назад Вперёд