14.3 Алгоритм получения суммы ВС

Чтобы получить состояния суммы для группы из N ВС vs1 .. vsN и селектора sel, надо:

• образовать пустое множество состояний в качестве результирующего
• для каждой ВС vsi:
  • для каждого состояния k селектора sel, соответствующего этой vsi:
    • образовать произведение k и каждого состояния vsi, считая, что они порождают новые состояния (отсутствие произведения считать ошибкой)
    • добавить состояния полученного произведения к результирующему множеству

Назад Вперёд