Algorithmus zur Lösung des Syntaxanalyseproblems.

Es erhält als Eingabe eine Grammatik G und ein Wort w. Als Ausgabe liefert es eine Ableitung für w, falls w zur Sprache L_G gehört. Diese Ableitung dient zur weiteren Verarbeitung von w, z. B. zur Bestimmung seiner Semantik.

Falls w ∉ L_G, liefert ein Analyseverfahren in der Regel eine Ableitung für das längste Anfangsstück von w, das in L_G liegt.