Pok-8-wyk-Slajd69
Z Studia Informatyczne
Zbiór FOLLOW
Umiejętność obliczania zbioru FIRST jest niezbędna, aby obliczyć zbiór FOLLOW.
Nieformalnie można powiedzieć, że zbiór FOLLOW(X) zawiera zbiór terminali, które mogą wystąpić w formie zdaniowej bezpośrednio na prawo od symbolu X.
Przyjrzyjmy się teraz regułom, zgodnie z którymi tworzy się zbiór FOLLOW.
- Jeśli X jest symbolem startowym, to do zbioru FOLLOW(X) trafia symbol $ oznaczający koniec łańcucha wejściowego,
- Dla A->alfa X beta, do zbioru FOLLOW(X) trafiają elementy ze zbioru FIRST(beta) za wyjątkiem symbolu epsilon,
- Dla A->alfa X lub A->alfa X beta jeśli zbiór FIRST (beta) zawiera element epsilon, to FOLLOW(A) zawiera się w FOLLOW(X)