7. Состояния

7.1. Состояние и его базис

Элементы декартова произведения (под-)множеств допустимых значений переменных называются состояниями, а само (под-)множество переменных - их базисом.

Представлением состояний, как обычно, служат упорядоченные кортежи из значений переменных их базисов.

Состояние здесь формализует в первую очередь внутреннее состояние некоторого автомата во время его испытания, и понимается как одномоментная фиксация значений образующих его переменных, то есть, образующие его атомы и их произвольные подмножества (тоже состояния), связаны отношением И.

Массив состояний - любое подмножество состояний одного(!) базиса.

Подразумевается, что разным состояниям массива соответствуют разные испытания, то есть, проходящие в разные моменты времени, а значит, сами такие состояния одного массива, как и их непересекающиеся подмножества, связаны отношением ЛИБО.

Кроме того, так определённые состояния также описывают рабочие состояния и состояния испытаний.

7.2. Формула состояния

Если с одной формулой атома всё просто, то для их совокупности надо выбрать способы их объединения, то есть разделители и, возможно, ограничители в начале и конце их последовательности.

Согласно общему подходу различются формулы (см. Примеры):

• в данном тексте
• в языке И-ЛИБО систем
• в демонстрационных проектах

Здесь будет использоваться два типа записей - сокращённая в виде (x=1,y=2) и xml-подобная:
<state>
  <atom>x=1</atom>
  <atom>y=2</atom>
</state>

Но если абстрагироваться от этих нюансов, то под формулой состояния (его корректной записью в языке И-ЛИБО систем) понимается такое мультимножество формул атомов (один и тот же атом может встречаться несколько раз), в котором нет нескольких атомов одной переменной, но имеющих разные значения.

В данном тексте формулы состояний могут заключаться в круглые скобки, а образующие их формулы атомов между собой будут разделяться запятыми.

Подразумевается, что базисы состояний, подобных приведённым выше, состоят из всех перечисленных при их записи переменных.

При такой записи именно они (формулы состояний) являются "элементарными кирпичиками", из которых далее с помощью дерева сборки образуется вариативная ситуация.

Назад Вперёд