Pok-8-wyk-Slajd70
Z Studia Informatyczne
Tablica SLR
Obliczmy zbiór FOLLOW dla nieterminali występujących w gramatyce wzbogaconej.
FOLLOW(E’)={ $ }, gdyż E’ jest symbolem startowym gramatyki.
FOLLOW(E)={ $, +, *, ‘)’ }.
$ trafia do zbioru FOLLOW(E), gdyż w zerowej produkcji E jest na skrajnie prawej pozycji.
+ trafia do zbioru FOLLOW(E), gdyż w produkcji oznaczonej numerem jeden po symbolu E występują symbole + E. FIRST(+ E) daje +.
- trafia do zbioru FOLLOW(E), gdyż w produkcji oznaczonej numerem dwa po symbolu E występują symbole * E. FIRST(* E) daje *.
) trafia do zbioru FOLLOW(E), gdyż w produkcji oznaczonej numerem trzy po symbolu E występuje symbol ‘)’. FIRST(‘)’) daje ‘)’.
Zbiory te są nam potrzebne aby określić kiedy w ramach akcji można zastosować redukcję. Dokonujemy jej bowiem jedynie wtedy gdy na wejściu znajduje się symbol należący do odpowiedniego zbioru FOLLOW.
