- operatorul inițial,
- declarația finală,
- orice operator.
operator inițial în viitor (dacă nu este menționat altfel) vor fi considerate ca fiind un operator, simbolizând începutul algoritmului.
funcția de înregistrare a operatorului în GSA este faptul că această afirmație nu include nici o direcție.
Declarația finală va fi considerată ca fiind un operator, simbolizând sfârșitul algoritmului.
funcția de înregistrare a operatorului și GAW constă în faptul că această afirmație nu merge nici o direcție.
Operatorii arbitrari vor fi considerate ca fiind simboluri care reprezintă anumite acțiuni, acte legate de punerea în aplicare a algoritmului.
caracteristică operatorii de înregistrare este faptul că acești operatori pot include mai multe săgeți, dar este întotdeauna doar un singur ac.
Sub condiția logică vom înțelege funcția logică a formei, în cazul în care condițiile logice elementare. Înregistrarea caracteristică a condițiilor logice este că acestea pot avea mai multe săgeți de intrare și lăsând doar două, marcate cu „O“ și „I“ în co-otvetstvii, cu o valoare de condiții logice. În viitor, vom permite, de asemenea, să înlocuiască GSA partea stângă a expresiilor de forma de partea lui dreaptă.
Săgeți într-o secvență ordonată de executare a operatorilor și a condițiilor logice de testare, precum și corelațiile lor.
Algoritmul începe întotdeauna cu operatorul și operatorul final.
tranziții 3.3Formuly
In termeni generali, pentru fiecare nod operator de formula de transfer este scris după cum urmează:
și proprietățile ortogonalitate și completitudine, de asemenea respectate. Mai mult decât atât, se consideră că seturile de valori logice în timpul condițiilor de executare nu sunt modificate operatorii.
Pentru MP, prezentat în figura 3.7. formula tranziție va fi scrisă astfel:
;
;