Álapot leírások
A különbőz állapotátmenetekkel deffiniálhatunk egy állapotgépet. Ebben a szekcióban használhatóak az IF-THEN-ELSE és CASE és GOTO kulcsszavak.
Szintaxisa:
STATE_DIAGRAM aktualis_allpot [-> kimeneti_allapot]
STATE allpot_kifejezes: logikai_meghatarozas;
atmeneti_kifejezes;
STATE allpot_kifejezes: logikai_meghatarozas;
atmeneti_kifejezes;
...
Ahol
- aktualis_allpot
- Az állapot, amiben az állapotgép belép.
- kimeneti_allapot
- Az állapot, amibe az állapotgép kerül
- allpot_kifejezes
- Olyan feltétel, mely adott állapotban igaz lehet
- logikai_meghatarozas
- Logikai meghatározások (Equations)
- atmeneti_kifejezes
- Olyan feltételes kifejezés, mely máshová irányíthatja a vezérlést.
Átmeneti kifejezések
Olyan szerekzetek, melbyen az IF-THEN-ELSE, a CASE, vagy a GOTO kifejezések szerepelhetnek.
pl.:
STATE_DIAGRAM [Q1, Q2]
STATE S0: B = /Q1 * /Q2;
IF A THEN S1
ELSE S0;
STATE S1: B = Q1 * /Q2;
CASE (A == 0): S0;
(A == 1): S1;
ENDCASE
STATE S2: B = /Q1 * Q2;
GOTO S3;
STATE S3:
IF A==0 THEN S0 WITH B = Q1 * Q2;
ENDWITH;