|
Eine kontextfreie Grammatik ist LL(1), wenn
Für alle Produktionen A = | | ...
muß jeweils für alle Paare von Alternativen gelten: FIRST() geschnitten mit FIRST() = {} | |
Für alle A: A ->* : FIRST() geschnitten mit FOLLOW(A) = {} |
Recursive-Descent-Parsing mit einer Vorausschau von einem Terminal-Symbol läßt sich genau dann eindeutig durchführen, wenn die Grammatik LL(1) ist.
Copyright © 1999 Andreas Borchert, in HTML konvertiert am 29.06.1999 |