• Nechť G = (N, T, P, S) je BKG,
kde N = {A1, A2, …
, An}, T = {a1, a2, … , am}
• LR-syntaktický analyzátor je rozšířený zásobníkový automat
M se stavy Q = {q0, q1, …,qk}, kde q0 je počáteční stav.
• Činnost M je
založena na LR tabulce, která má následující
dvě části:
1)
Akční část (tabulka
akcí)
2) Přechodová část (tabulka přechodů)