а) указание момента времени t\+\ сцепления инициатора с оператором hc •ni+1’ б) определение логического условия, при выполнении которого инициатор сцепляется с оператором hci+x; в) комбинированная форма, включающая варианты а) и б). Таким образом: где: оператор условия сцепления; h\ оператор временного условия; hn\оператор логического условия; U’n\ оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора hc\ оператор W\. Таким образом, определим элементарный оператор hx, как двойку: При сцеплении инициатора с элементарным оператором h\ происходит мгновенное выполнение его обеих составных частей: выполнение /zCj позволяет вычислить новое состояние процесса Z, а выполнение оператора W\ дает возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором hi+/. Теперь можно определить понятие алгоритмической модели процесса (в дальнейшем АМП), в виде тройки: (2.11) (2.12) (2.13) где: \h >и множество элементарных операторов;1i=\ (3линейный порядок на \h-}" |
б) определение логического условия, при выполнении которого инициатор сцепляется с оператором h-+t; в) комбинированная форма, включающая варианты а) и б). Таким образом: где: /?у; оператор услов и я сцепления; h‘j оператор врем ен ного условия; И1j оператор ло ги ч еск о го услови я; И‘л\оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора hcx оператор //j. Таким образом, определим элементарный оператор /?„ как двойку: При сцеплении инициатора с элементарным оператором 1ц происходит мгновенное выполнение его обеих составных частей: выполнение hc\ позволяет вычислить новое состояние s-, процесса Z, а выполнение оператора hVj даст возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором А,*/. Теперь можно определить понятие алгоритмической модели процесса (в дальнейшем А М П ), в виде тройки: (2.11) (2.12) А м п " ) № , . / Ц ' АМ П = (2.13) где: множество элементарных операторов; [5линейный порядок на ; /инициатор. |