Пример 5. Простая корректная система - единственная базовая ВС из двух состояний, а также с ключом из переменной x

Корректная система ВС:

• корректный коркас образован единственной вершиной с названием А
• с вершиной А сопряжена базовая ВС А
• ВС А образована тремя состояниями одной переменной x, одновременно являющейся ключом этой ВС
• каждое из трёх состояний образовано единственным атомом: "x=1", "x=2", "x=3"

Такую систему можно записать "формулой":

xml-подобная запись:

   <system>
     <node type=base name=A key=x>
       <state>
         <atom>
            x=1
         </atom>
       </state>
       <state>
         <atom>
            x=2
         </atom>
       </state>
       <state>
         <atom>
            x=3
         </atom>
       </state>
     </node>
   </system>

Семантика:

Приведённая выше формула может описывать "классический" светофор, грящий в каждый момент времени либо КРАСНЫМ, либо ЖЁЛТЫМ, либо ЗЕЛЁНЫМ светом.

А - некая интенция (абстракция или даже реальность), заставляющая в этом эксперименте обращать внимание именно на светофор "целиком", с одним только свойством горения определённым светом

Переменная x в этом случае означает конструкцию светоизлучателя, а значения 1, 2 и 3 указывают, что "всегда" горит один из трёх сигналов.

Например, в моменты проведения эксперименте t1, t2, t3, t4, t5, t6 и t7:

T	A	x
t1	активен	1
t2	активен	3
t3	активен	1
t4	активен	3
t5	активен	2
t6	активен	3
t7	активен	2

При формализации происходит абстрагирование от очевидных для экспериментатора указанной интенции (А), а также состава моментов времени; происходит их потеря из описания эксперимента.

В формуле остаются лишь характерные черты согласованной системы без привязки к конкретнм моментам времени:

x

1

2

3

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

Назад Вперёд