5.3.4规范LR分析表的构造文法5.9p113(0)S'S(1)SL=R(2)SR(3)L*R(4)Li(5)RL(0)S'S(1)SaAd(2)SbAc(3)Saec(4)Sbed(5)Ae(0)S'S(1)SaAd(2)SbAc(3)Saec(4)Sbed(5)Ae小结:SLR(1)分析法中的无效归约1.LR(K)项目定义若存在规范推导则项目A•对活前缀是有效的。若aFirst()，若=则a=#则LR(1)项目[A•,a]对于活前缀是有效的。注:1)如果aFirst(),即使aFollow(A),项目[A•,a]也是无效的。2)规范LR分析法仅考虑有效的LR(1)项目。例5.12:SBBBaB|b3.构造LR(1)项目集规范族二、GO函数令I是一个项目集，X是一个文法符号，GO(I,X)=CLOSURE(J)，其中J={任何形如[AX•,a]的项目|[A•X,a]I}注：在执行转换函数GO时，搜索符并不改变。三、构造G'的LR(1)项目集族C的算法例5.13考虑如下拓广文法p115(0)S'S(1)SBB(2)BaB(3)Bb构造LR(1)项目集规范族S4.构造LR(1)分析表表5.5例5.13的LR分析表p1165.LR(1)文法文法5.9p113(0)S'S(1)SL=R(2)SR(3)L*R(4)Li(5)RLI1:Go(I0,S)SS•,#状态补充练习