FIRST und FOLLOW

Definition von FIRST:
Sei alpha ein belieber String, dann ist FIRST( alpha ) die Menge der Terminals, die zu Beginn eines Strings stehen können, der von alpha produziert wird. Falls auch ein leerer String (also epsilon ) produziert werden kann, dann ist auch epsilon in FIRST( alpha ).

Definition von FOLLOW:
Sei A V_N (also ein Nonterminal), dann ist FOLLOW(A) die Menge der Terminals, die unmittelbar hinter A in einer Satzform stehen können, d.h.

S ->^* alpha A a mit alpha , Strings, S Startsymbol

=>:

a FOLLOW(A)

Falls A am Ende einer Satzform stehen kann, dann ist auch $ in FOLLOW(A).