Follow(E)
:= {$, )}
Follow(E’) := {$, )}
Follow(T)
:= {+, $, )}
Follow(T’) := {+, $, )}
Follow(F)
:= {*, +, $, )}
přidej
Follow(T’) = {+, $, )} do Follow(F)
přidej
Follow(T’) = {+, $, )} do
Follow(T’)
5) T’ ® *FT’ Î P:
e: Empty(e) = {e}
¹ e
T’ ® *FT’ Î P:
přidej
First(T’) = {*} do
Follow(F)
T’ ® *FT’ Î P:
Empty(T’)
= {e}
Konec: Žádná
množina Follow nemůže být změněna.