第三章语法辨析.ppt

因此，构造文法G[S′]的FOLLOW集如下： (1) FOLLOW(S′)={#}； (2) 由S→L=…得FIRST(′=′)\{ε}?FOLLOW(L)，即FOLLOW(L)={=}； (3) 由S′→S得FOLLOW(S′) ?FOLLOW(S)，即FOLLOW(S)={#}； 由S→R得FOLLOW(S) ?FOLLOW(R)，即FOLLOW(R)={#}； 由L→…R得FOLLOW(L) ?FOLLOW(R)，即FOLLOW(R)={=,#}； 由R→L得FOLLOW(R) ?FOLLOW(L)，即FOLLOW(L)={=,#}。 由I2的移进项目S→L·=R和归约项目R→L·得到： {=}∩FOLLOW(L)={=}∩{=,#}={=}≠Φ 所以文法G[S]不是SLR(1)文法。 下面构造LR(1)项目集规范族，得到文法G[S′]的LR(1)项目集规范族如下(项目集I0由S′→·S,#开始)： I0: S′→·S,# I6: S→L=·R,# S→·L=R,# R→·L,# S→·R,# L→·*R,# L→·*R,= L→·i,# L→·i,=