只要follow额,这样,follow(E),把所有包含你要求的符号的产生式都找出来,有F -> (E)|id,那E后面就是),其他包含E的都没有,所以follow(E)={),#},E‘,包含E’的产生式有E -> TE',再由F -> (E)|id推出F -> (TE‘)|id,则E’后面也有),则follow(E’)={),#};T,包含T的产生式有E -> TE'、E' -> +TE'|ε,T后面是E‘(+TE'|ε),则T有+,,再根据F -> (E)|id,(TE')|id,E‘又可以是空(ε),则T后面有),则follow(T)={+,),#}。 T‘同理,包含T’的有T -> FT'、T' -> *FT'|ε,F -> (E)|id,推出F -> (TE‘)|id,再推出F -> (FT'E')|id,E'可以推出ε,则T'后面有),由E -> TE'推出E -> FT‘E',则T’后面是E‘,E' -> +TE'|ε,则follw(T’)含有+,所以follow(T‘)={+,),#}。
F嘛,自己推推,都是这样做得
温馨提示:内容为网友见解,仅供参考