Для уточнения понятия процесса и указанных <оображений следует рассмотреть вначале вид операторов и
пр( ооразования, ими выполняемые.
Напомним, что операторы из О действуют из 2и в 2и. т.е. из множества всех подмножеств множества U в себя и из Р в Р, где U — некоторое непустое множество фактов (например множество замкнутых атомарных формул логического языка первого порядка), а Р — множество свойств (в частности, ими могут быть одноместные атомарные формулы языка первого порядка).
Здесь мы упростим вид оператора и будем считать, что операторы из О действуют из Р в Р. Среди таких свойств в Р могут быть свойства количественного характера, которые будем обозначать через Pi, и качественного, которые обозначим через Р2.
Например, парадоксальный пульс — падение систолического давления на вдохе более чем на 10 мм.рт. ст. — признак, имеющий количественный характер;си,мпто,м Ллойда — боль в пояснице при глубокой перкуссии над почками — признак, имеющий качественный характер. Тогда каждый оператор о имеет вид:
Замечание.
Два различных механизма действия оператора о, X:= X U Y и X:= У, соответствуют двум различным видам операторов присваивания — добавляющим новые элементы в множество и за,меняющим элементы множества. С содержательной точки зрения, речь идёт либо о появлении в новом состоянии новых признаков при сохранении имеющихся, либо об исчезновении в новом состоянии старых признаков и появлении новых. В различных приложениях используются различные виды операторов присваивания.
Таким образом, если s(n) U Pi (??) U Р9{п) (где Pi (??) = р (п) U Up2(n) U ... Upk(n)) назвать состояние,м S(n) процесса S(n), то oS(n) = S(n + 1), т.е. операторы из семейства О играют роль операторов переходов.