II. И-ЛИБО объекты
До этого главной целью было только ввести в рассмотрение абстракцию автоматов мгновенного действия как одну из форм систем мгновенного действия, в свою очередь являющихся абстракций неких простейших технических систем.
Теперь надо определить для этих автоматов их строгое описание в виде формальной системы, здесь рассматриваемой в виде языка И-ЛИБО систем.
Далее для этого языка будет определена семантика, ставящая в соответствие формулам их непосредственное значение в виде констркций автоматов и косвенно - поведение, а кроме того, ещё и смысл в виде характерных черт.
6. Атом, переменная, допустимое значение
Согласно общему подходу формулы атомов, также называемые здесь просто атомами (см. Примеры), формализуют в первую очередь понятие оператора и используются:
- в данном тексте
- в языке И-ЛИБО систем
- в демонстрационных проектах
Здесь будет использоваться два типа записей
атомов - сокращённая в виде
x=1
где
x -
имя переменной, а
1 - её
значение
а также
xml-подобная:
<atom>
x=1
</atom>
или даже так, с учётом его
идентификатора:
<atom>
id=123456789;
x=1;
</atom>
Между атомами установлены следующие отношения, соотносимые с отношением И и ЛИБО, наблюдаемыми в эксперименте над одним(!) автоматом:
- атомы одной переменной с разными значениями связаны отношением ЛИБО
- атомы разных переменных связаны отношением И
Сразу надо отметить отличие указанных отношений от рассматриваемых далее связок И и ЛИБО, объединяющие атомы во всё более сложные формулы, и которы соотносятся с И- и ЛИБО-соединениями собственно автоматов.