LR syntaktický analyzátor
• 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ů)
13/42