Пример 3. Простая корректная система - единственная базовая ВС из единственного состояния, образованного двумя атомами

Семантика:

Аналогично Примеру 2 приведённая выше формула может описывать транспарант "ВЫХОД", горящий в зале кинотеатра, плюс состояние "ОТКРЫТО" для аварийного выхода.

Тогда для те-же трёх моментов времени t1, t2, t3:

T	A	x	y
t1	активен	1	1
t2	активен	1	1
t3	активен	1	1

что в линейной форме приобретает привычный вид (x=1,y=1)

Назад Вперёд