Ich kann die Folien, die sie meinen, nicht finden, da das Kapitel in der Zwischenzeit aktualisiert worden ist. Generell, sucht man bei FOLLOW(A) die Symbole a ∈ T∪{$}, welche in irgendeiner Ableitung auf das Nichtterminalsymbol A folgen können. Dies wird durch folgende Regeln vollständig beschrieben, wobei S das Startsymbol ist:
- $ ∈ FOLLOW(S)
- Regel A → αBβ impliziert (FIRST(β) \ {ε}) ⊂ FOLLOW(B), da der Anfang von β auf B in dem Wort αBβ folgt
- Regel A → αBβ mit ε ∈ FIRST(β) impliziert FOLLOW(A) ⊂ FOLLOW(B), da die Ableitung A → αBβ →* aB möglich ist, so dass alle Symbole, die auf A folgen können auch auf B folgen können
- als Spezialfall β=ε erhält man A → αB, welcher damit auch FOLLOW(A) ⊂ FOLLOW(B) impliziert
Nun kann man damit beginnen, dass zunächst alle FOLLOW-Mengen leer sind, mit der Ausnahme von FOLLOW(S) = {$}. Dann muss man dafür sorgen, dass die obigen Regeln erfüllt werden. Wo immer die nicht der Fall sein sollte, muss man Symbole in eine FOLLOW-Menge aufnehmen, bis alle Regel erfüllt sind.
Alternativ dazu kann man auch ein Gleichungssystem aufstellen, mit dem man dann eine einfache Fixpunktiteration vornimmt.
