|
/инициатор. Следует обратить внимание, что АМП содержит один и только один инициатор, т.е. каждому процессу соответствует один инициатор. В этом смысле инициатор является представителем процесса, при его потери либо отсутствии развитие процесса прекращается. Если в системе развивается одновременно т процессов, то в модели присутствует т инициаторов. Линейную последовательность элементарных операторов назовем треком TR: ™ = ( № ’Э)(2 .Ц ) Таким образом, можно АМП определить также как двойку: А М П -< Ш > . (2.12) Процесс задан, если задан трек элементарных операторов и инициатор. 2.1.4. Понятие структуры Пусть задан некоторый трек TR. В реальных приложениях трек содержит достаточно много элеме1гтарных операторов, выполняющих одни и те же операции над аргументами. При этом операторы эквивалентны, если при одних и тех же значениях аргументов они вычисляютодинаковые результаты. Введение понятия эквивалентных операторов позволяетзадать отношение эквивалентности на множестве j/fy элементарных операторов трека TR. Структурой назовем свертку трека TR по отношению эквивалентности элементарных операторов. Пример. Пусть задан некоторый трек TR (рис.2.1.). |
59 Р асш и ри м п он яти е элем ен тарн ого оп ератора, д о б ави в к нем у пом им о оператора hCi оп ератор /г^. Т аким образом , оп редели м эл ем ен тар н ы й оператор Ai, как двойку: П р и сц еп л ен и и и н и ц и атора с элем ен тарны м оп ер ато р о м Л, п рои сх о д и т мгновенное вы п олн ен и е его обеи х составн ы х частей : в ы п о л н ен и е hc{ позволяет вы чи сли ть новое состоян и е s\ п роц есса Z, а вы п олн ен и е оператора Н'х дает возм ож н ость оп редели ть м ом ен т врем ен и л и б о л о ги ч еск о е условие сцепления и н и ц и ато р а со следую щ и м элем ен тарн ы м о п ератором hi¥l. Т еп ерь м ож н о определи ть п он яти е алгоритмической модели процесса (в дальнейш ем А М П ) в ви де тройки: /иниц иатор. С ледует обрати ть вн им ани е, что А М П содерж и т од и н и то л ьк о один инициатор, т.е. каждому процессу соответствует один инициатор. В этом смысле и н и ц и атор является п редстави телем п роц есса, п ри его п отере либо отсутствии разви ти е п р о ц есса прекращ ается. Е сли в си стем е разви вается одновременно т п роц ессов, то в м одели п р и сутствует т и н и ц и аторов. Л и н ей н ую последовательн ость элем ен тарны х о п ер ато р о в назовем треком 77?: (2.9) АМП =({*,• } 1 ^ ,1 ), (2.10) где: м н ож ество элем ен тарны х оп ераторов; Р~л и н ей н ы й п оряд ок н а {h,; (2.11) Таким об разом , м ож но А М П определи ть так ж е как двойку: 60 А М П =< 77?,/ (2.12) П роцесс задан , если зад ан трек элем ен тарны х оп ераторов и инициатор. 2.1.4. Понятие структуры П усть зад ан некоторы й трек TR . В реальны х при лож ен и ях трек содерж ит достаточно м ного элем ен тарны х операторов, вы п олн яю щ их о д н и и те же операции н ад аргум ентам и. С огласн о [53] операторы экви вален тн ы , если при одних и тех ж е значен и ях аргум ентов они вы числяю т оди н аковы е результаты . Введение п он яти я эквивалентн ы х операторов п озволяет задать отнош ение эквивалентности н а м нож естве {h, }”_ элем ентарны х оп ераторов тр ека TR. Структурой назовем свертку тр ека TR по отнош ени ю экви валентности элем ентарны х операторов. Пример. П усть зад ан некоторы й трек T R (рис.2.1.). Рис. 2.1. П ри м ер трека П усть отн ош ен и е эквивалентности элем ен тарны х оп ераторов им еет вид: (2.13) Т огда структура и м еет вид граф а (рис.2.2.). ь»Л Рис. 2.2. С вертка трека |