8.3. Отношение И между состояниями

Если для состояний s1, … , sN существует состояние s0, являющееся для них всех прообразом

s0 ⊵ s1,

...

s0 ⊵ sN

то любое подмножество указанных состояний (включая и s0) называются связанными отношением И. █

Назад Вперёд