编译原理-第4章.ppt

③ 取这些项目集作为各状态，并画出识别文法Ｇ′的有穷自动机 ④ 用SＬＲ方法解决“移进---归约”冲突。 在十二个项目集中，Ｉ１、Ｉ２和Ｉ９都含有“移进---归约”冲突，其解决办法是： ● 对于项目集Ｉ1＝｛S′∷＝Ｅ·，Ｅ ∷＝Ｅ·＋Ｔ｝，由于集合ＦＯＬＬＯＷ（S′）＝｛＃｝与集合｛＋｝不相交，所以当状态为１时，面临着输入符号为＋时便移进，而面临着输入符号为＃时，则按规则S′∷＝Ｅ归约。 ● 对于项目集Ｉ2＝｛Ｅ∷＝Ｔ·，Ｔ∷＝Ｔ·*Ｆ｝，由于集合ＦＯＬＬＯＷ（Ｅ）＝｛＋，），＃｝与集合｛*｝不相交，因此状态２面临输入符号为*时移进，而面临输入符号为＋或）或＃时，按规则Ｅ∷＝Ｔ归约。 ● 对于项目集Ｉ9＝｛Ｅ ∷＝Ｅ＋Ｔ·，Ｔ ∷＝Ｔ·*Ｆ｝，同样由于FOLLOW（Ｅ)={+,),#}与集合｛*｝不相交，因此状态９面临着输入符号为*时移进，面临着输入符号为＋或）或＃ 时，按规则E∷＝E＋T归约。 ⑤ 根据SLR(１）分析表构造方法构造SLR(１）分析表. 对于冲突项目的状态，如状态1，2，9，按用SＬＲ方法解决构造 SLR(１）分析表. 对于其他状态项目集，只有一个归约项目，也是按照修改后构造SLR(１）分析表方法进行构造 §4.3 自底向上语法分析 四、LR分析法 3、LR(0)分析表的构造 7） LR(0)