Проекция множества состояний на базис
for FireFox,Safari

8. Простейшие отношения в множестве состояний

8.1. Проекция множества состояний на базис

Проекцией множества состояний на базис b, не более широкий, чем базис любого состояния s S, называется множество состояний S, объединяющее проекции всех состояний на указанный базис:

S = S b = (s b)

Назад Вперёд
ru/en