ˇ´ PRILOHA B

´ ´ ´ SILNA LR(1) ATRIBUTOVA GRAMATIKA PROGRAMOVACIHO JAZYKA 200

S_GO: Go(val); S_MESSAGE: Message(val); S_WAIT: Wait(val); else error(....); end; SymbolZas.typ := S_NP; Pridej_do_zasobniku(SymbolZas); end; 11: begin Vyjmi_ze_zasobniku(vrchol_zasob); // val := vrchol_zasob.atribcislo; Vyjmi_ze_zasobniku(vrchol_zasob); // Vyjmi_ze_zasobniku(vrchol_zasob); // Zmen(vrchol_zasob.atribstr, val); SymbolZas.typ := S_NP; Pridej_do_zasobniku(SymbolZas); end; 12: begin Vyjmi_ze_zasobniku(vrchol_zasob); // SymbolZas.typ := S_NZ; SymbolZas.atribop := S_GO; Pridej_do_zasobniku(SymbolZas); end; 13: begin Vyjmi_ze_zasobniku(vrchol_zasob); // SymbolZas.typ := S_NZ; SymbolZas.atribop := S_MESSAGE; Pridej_do_zasobniku(SymbolZas); end; 14: begin Vyjmi_ze_zasobniku(vrchol_zasob); // SymbolZas.typ := S_NZ; SymbolZas.atribop := S_WAIT; Pridej_do_zasobniku(SymbolZas); end; 15: begin Vyjmi_ze_zasobniku(vrchol_zasob); // val := vrchol_zasob.atribcislo; Vyjmi_ze_zasobniku(vrchol_zasob); // SymbolZas.typ := S_NV; if vrchol_zasob.atribop = S_PLUS then SymbolZas.atribcislo := vrchol_zasob.atribcislo else if vrchol_zasob.atribop = S_MINUS then SymbolZas.atribcislo := vrchol_zasob.atribcislo else error(...);

V = i

g

m

w

M A

+ val - val