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

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

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

Назад Вперёд