Pok-8-wyk-Slajd69

Z Studia Informatyczne
Wersja z dnia 19:07, 1 wrz 2006 autorstwa BBogacki (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zbiór FOLLOW

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)


<< Poprzedni slajd | Spis treści | Następny slajd >>