П рим ер трека Пусть отношение эквивалентности элементарных операторов имеет вид: { (М з М М ч Л Л Х М ? ) } ■ (2.13) Тогда структура имеет вид графа (рис.2.2.). Свертка трека Очевидно, если заданы трек и отношение эквивалентности операторов, то однозначно возможно построение структуры. Однако, обратное восстановление грека по структуре является неоднозначной операцией. Эта операция относится к классу операций развертки. С тем, чтобы операцию построения трека из структуры сделать однозначной, введем еще один тип элементарного оператора навигационный элементарный оператор. Навигационный оператор определяется так же, как и элементарный оператор, однако в результате его выполнения определяется тот элементарный оператор в структуре, который должен выполняться следующим. Выполнение навигационного оператора так же инициируется инициатором. Поскольку время на выполнение навигационного оператора, как и всех элементарных операторов, равно нулю, то использование его не сказывается на времени реализации процесса. В общем случае |
Очевидно, если заданы трек и отношение эквивалентности операторов, то однозначно возможно построение структуры. Однако, обратное восстановление трека по структуре является неоднозначной операцией. Эта операция относится к классу операций развертки. С тем, чтобы операцию построения трека из структуры сделать однозначной, введем еще один тип элементарного оператора навигационный элементарный оператор. Навигационный оператор определяется так же, как и элементарный оператор, однако в результате его выполнения определяется тот элементарный оператор в структуре, который должен выполняться следующим. Выполнение навигационного оператора так же инициируется инициатором. Поскольку время на выполнение навигационного оператора, как и всех элементарных операторов, равно нулю, то использование его не сказывается на времени реализации процесса. В общем случае навигационный оператор должен следовать за каждым элементарным оператором в структуре. Если навигационный оператор обозначить, как показано на рис.2.3., 61 Рис. 2.3. Обозначение навигационного оператора то структура из вышеописанного примера будет иметь вид (рис.2 .4.). Здесь операторы /ь, h4 являются представителями своего класса эквивалентности. Как видно, после операторов h\ и /г2 стоят навигационные операторы hH\ и /зН2 , в то время как после оператора (и нет необходимости в использовании навигационного оператора. Навигационный оператор используется также и для организации циклов (оператор hH2, выход 1 ). |