9.8. Произведение ВС

ВС VS называется произведением N ВС

VS = (VS1 × … × VSN) = ∏(VSi),(i = 1..N)

если

• каждая N-ка состояний s1 , … , sN, из соответствующих множеств [VS]1 , … , [VS]N имеет произведение s = s1 × … × sN
• всё множество состояний [VS] является объединением указанных произведений s:
  [VS] = ⋃ s

Можно также сказать, что каждое состояние s ∈ [VS] соотносится с неким элементом из декартова произведения множеств состояний исходных ВС и является их произведением.

Назад Вперёд