14.2 Алгоритм получения произведения ВС

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

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

2. получает произведение ВС, сопряжённых с вершинами, непосредственно подчинённых данному узлу;
   то есть, для каждой N-ки состояний необходимо:
   • образовать их произведение, считая, что они его порождают (отсутствие произведения считать ошибкой)

   • суммировать полученные произведения с результирующим множеством, первоначально пустым

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

Назад Вперёд