Grafic diagramă

În așteptare pentru partea de sus a algoritmului

Graficul diagrama (GSA) - finita conectat regia graf G = ⟨A V⟩.. vârfuri a i ∈ A. i = 1 N ¯ \ în A, i = >> corespund operatorilor și arc v k = (a i. j) ∈ V. k = 1. M ¯. i. j = 1. N ¯ = \ stânga (a_, a_ \ dreapta) \ în V, k =>, i, j = >> defini ordinea algoritmului nodurilor (operatori), unde N = | A | - numărul de noduri, M = | V | - numărul de arce. Într-un sens mai larg al nodurilor grafice corespund nu numai nodurile operatorului, dar și condiționată, de început și de sfârșit nodurile și t. D. în considerare algoritmi paraleli introduce conceptul de o paralelă flux diagramă a algoritmului (ParGSA) compus din noduri paralelizare funcționalitate / sincronizare care este de obicei combinat. Uneori, [1] [2] [3] în GAW a introdus noduri tipuri suplimentare: combinarea arce alternative (vertex cu abur pentru vârf condiționată), fictive operatorului Vertex vârfurilor de etichetare (pentru a permite simularea execuției Petri algoritm de rețea), de așteptare pentru partea de sus.

Cu toate acestea, nu orice grafic direcționat compus din noduri ale tipurilor de mai sus pot fi identificate cu algoritmul corect. De exemplu, din partea de sus a operatorului nu poate merge mai mult de un arc. Prin urmare, în practică, este de obicei limitată la luarea în considerare a graficului subclasa diagramă care îndeplinesc proprietăți de securitate, vitalitatea și durabilitatea. [4] Algoritmii transforma algoritmi de procesare GAW sunt un subset al formei generale de grafice, au adesea diferențe semnificative din cauza utilizării proprietăților speciale GAW care permite simplificarea acestora, reducerea sau complexitatea capacitive temporară. [1] [3] [5]

Ca parte a graficului diagramă a algoritmului poate fi alocat elemente mai mari, se arată subseturi sale de noduri și muchii: ramurile (cu lanț liniar sau porțiuni vertex) și fragmente (în primul rând, în paralel, alternativ, ciclic, cu întreruperi pre- și postconditie). performanță echivalentă grafic schema de algoritm este corect fragmente de arbori, reflectând ordinea fragmentelor imbricate.

• Baranov SI Sinteza automatelor microprogram (diagrame grafic și mașină). L. Energy, 1979. 232 p.
• Lazarev VG Piyl E. I. Sinteză mașină de control. Energoatomisdat M., 1989. 328 p.
• Automatelor de control al proceselor asincrone în sistemele digitale de calculator și. Ed. V. I. Varshavskogo. Nauka, Moscova, 1986. 400 pp.
• fantomă