Klasse von ableitungsorientierten Analyseverfahren für kontextfreie Sprachen, die ein Wort analysieren, indem sie ausgehend vom Startsymbol der gegebenen Grammatik eine Ableitung des Wortes generieren.

Zu jeder kontextfreien Sprache gibt es ein nicht-determinstisches Top-down-Analyseverfahren auf der Basis von Kellerautomaten. Deterministische Verfahren existieren für LL(k)-Grammatiken.