Ein
LF-Parser ist ein Top-Down-
Parser, der ausschließlich auf der Grundlage der k nächsten Eingabe-
Token entscheidet, zu welcher Alternative ein
Nichtterminalsymbol ersetzt wird. Von einem
LL-Parser unterscheidet ihn, dass die Entscheidungsmengen, die beim Vorausschauen verwendet werden, für jedes Nichtterminalsymbol
paarweise disjunkt sein müssen, das heißt, zu jedem Zeitpunkt muss jedes Tupel von Metasymbol und k-
lookahead-Token eindeutig auf eine Alternative verweisen. Daher funktioniert dieses Verfahren nur für spezielle
kontextfreie Grammatiken, die
LF(k)-Grammatiken. LF-Parser werden auch als strong-LL-Parser bezeichnet.