Konštrukcia prekladačov (prednáška 1) - MATEMATICKÝ MODEL SYNTAKTICKEJ ANALÝZY zdola-nahor

M = ( Q,T,G,,q0,Z0,F), kde

Q je konečná neprázdna množina vnútorných
stavov
T je konečná neprázdna množina vstupných
symbolov - vstupná abeceda
G je konečná neprázdna množina
zásobníkových symbolov zásobníková
abeceda
 je prechodová funkcia daná zobrazením
Q x (T U {e}) x G*  2QxG*
q0  Q je počiatočný stav,
Z0  G je symbol na dne zásobníka,
F  Q je konečná množina koncových
stavov

Konfigurácia RZA
(q,u,aß) Î Q x T* x G* , kde
q je momentálny stav
u je doteraz neprečítaná časť vstupného
reťazca (ak u = e, bol prečítaný celý vstup
aß je obsah zásobníka
vrcholu zásobníka odpovedá najpravejší symbol reťazca aß
obsah zásobníka aß je reťazec zásobníkových symbolov zapísaný v takom poradí, že najľavejší symbol je symbol Z0 a najpravejší odpovedá vrcholu zásobníka
...