LALR-Parser

Der LALR-Parser ist ein modifizierter LR(1)-Parser. Dabei werden die sog. LR(1)-Mengen die unter der Relation $\approx _{0}$ identisch sind, zusammengefasst.

Die Relation $\approx _{0}$ ist wie folgt definiert:

$a\approx _{0}b\Leftrightarrow$ die LR(0)-Anteile von a und b stimmen überein.