：（)增加产生式S→E，得增广文法G’[S]()构造识别活前缀的LR()FSM如下：评分规则：()对得分()可验证：状态I有移进归约冲突，所以G[E]不是LR()文法；进一步，因Follow(T)={+，)，]，#}，不含[，所以G[E]是SLR()文法