Графика диаграма

В очакване на върха на алгоритъма

Диаграмата на графика (GSA) - краен свързан насочено графика G = ⟨A V⟩.. върховете на I ∈ A. I = 1. N ¯ \ в А, I = >> съответства оператори и дъга о к = (с т. на й) ∈ V. к = 1. М ¯. аз. к = 1 N = ¯ \ наляво (a_, a_ \ вдясно) \ в V, к =>, И, Й = >> определи реда на алгоритъма на върха (оператори), където N = | A | - броят на върховете, M = | V | - броят на дъгите. В по-широк смисъл на върховете на графиката отговаря не само върховете на оператора, но също така условно, началната и крайната върховете и т. D. В това паралелни алгоритми въведе концепцията на паралелен поток диаграма на алгоритъма (ParGSA), съставена от върховете паралелизация / времето функционалност които обикновено се комбинира. Понякога [1] [2] [3] в GAW въведена върхове допълнителни видове: комбиниране на алтернативни дъги (пара връх за условно връх), фиктивни върховете етикетиране на върховете оператор (с цел да се даде възможност на симулация изпълнение Петри мрежа алгоритъм), в очакване на върха.

Въпреки това, не всяко насочено графика състои от върховете на горните видове могат да бъдат идентифицирани с правилния алгоритъм. Така например, от върха на оператора не може да продължава повече от една дъга. Поради това, на практика, то обикновено се ограничава до разглеждане на подклас графика диаграма, отговарящи на имоти за сигурност, жизненост и устойчивост. [4] Алгоритмите трансформират алгоритми за обработка на GAW са подвид на общата форма на графики, често имат значителни разлики, дължащи се на употребата на специални свойства GAW, който позволява тяхното опростяване, намаляване или временно капацитивен сложност. [1] [3] [5]

Като част от графика диаграма на алгоритъма могат да бъдат разпределени по-големи елементи, показани неговите подгрупи на върхове и ръбове: клоновете (линейна верига или връх порции) и фрагменти (първи, паралелен, алтернативно, цикличен, с предварително и postcondition прекъсване). Еквивалентно графика за ефективността-схема на алгоритъм е правилни дърво фрагменти, което отразява по реда на вложени фрагменти.

• Баранов SI Синтез микропрограмно автомати (графиката графики и машина). L. енергия, 1979. 232 стр.
• Лазарев VG Piyl Е. I. Синтез контрол машина. Energoatomisdat М., 1989. 328 стр.
• Автомати за контрол асинхронни процеси в компютър и цифрови системи. Ед. В. И. Varshavskogo. Наука, Москва, 1986. 400 стр.
• призрак