Follow(X) for Gexpr3: Example  2/3
Empty(E) :=  Æ
Empty(E’) := {e}
Empty(T) :=  Æ
Empty(T’) := {e}
Empty(F) :=  Æ
First(E) := {i, (}
First(E’) := {+}
First(T) := {i, (}
First(T’) := {*}
First(F) := {i, (}
4) T ® FT’   Î P:
e: Empty(e) = {e}
add Follow(T) = {+, $, )} to Follow(T’)
¹ e
T ® FT’   Î P:
add First(T’)   = {*} to Follow(F)
T ® FT’   Î P:
Empty(T’) = {e}
add Follow(T) = {+, $, )} to Follow(F)
Summary: Follow(T’) = {+, $, )}, Follow(F) = {*, +, $, )}
Follow(E) := {$, )}
Follow(E’) := {$, )}
Follow(T) := {+, $, )}
Follow(T’) := Æ
Follow(F) := Æ
3) E’ ® +TE’   Î P:
e: Empty(e) = {e}
add Follow(E’) = {$, )} to Follow(E’)
¹ e
E’ ® +TE’   Î P:
add First(E’)    = {+} to Follow(T)
E’ ® +TE’   Î P:
Empty(E’) = {e}
add Follow(E’) = {$, )} to Follow(T)
Summary: Nothing is changed
32/57