Пример 2

Простейшая система ВС (корректная)

• коркас (корректный) образован единственной вершиной с названием А
• с вершиной А сопряжена базовая ВС (А)
• ВС А образована единственным состоянием (и одновременно - ключом)
• это состояние образовано единственным атомом "x=1"

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

Такой вид удобно использовать в тексте, а для автоматической обработки вполне допустимы и другие способы определения системы, например xml-подобный:

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

Семантика:

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

Переменная x в этом случае означает собственно конструкцию транспаранта, а значение 1 указывает, что он "всегда" включен в моменты проведения эксперименте, например в t1, t2 и t3:

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

А - некая интенция (абстракция или даже реальность), заставляющая в этом эксперименте обращать внимание именно на транспарант "ВЫХОД", выделять именно его, неважно, ментально или автоматически.

Тогда смысл - та (здесь невыразимая) ментальная структура разработчика, которая позволяет такой эксперимент выразить в указанной выше формуле.

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

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

x

1

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

Назад Вперёд