7.7. Отношение проекции-прообраза между множествами состояний

Множество состояний S⚪ называется проекцией множества состояний S◎, а S◎ соответственно прообразом S⚪

S⚪ ⊴ S◎

либо

S◎ ⊵ S⚪

если для каждого состояния s⚪ ∈ S⚪ найдется его прообраз s◎ ∈ S◎: s⚪ ⊴ s◎

█

Назад Вперёд