编译原理 教学课件 作者 李冬梅 施海虎 第4章.语法分析.pptVIP

I5： F→i· I6： E→E+·T 　T→·T*F  　T→·F  　F→·(E)  　F→·i I7： T→T*·F  　F→·(E)  　F→·i  I8： F→(E·) 　 　E→E·+T I9： E→E+T·　 　T→T·*F I10： T→T*F·I11： F→(E)· I0 I5 I2 I4 I3 I1 I11 I8 I6 I10 I7 I9 start E + + i F ( T T F ( i F ( i E ( * * ) + i F I2: E→T. T →T.*F I9: E→E+T. T →T.*F 存在移进-归约冲突 4 状态s 输入符号a i * ( ) # 0 1 2 3 5 6 7 8 9 10 11 S5 S6 S7 r2 r2 r2 r2 acc S4 + LR(0) ACTION表 r2 r2 r1 r1 r1 S7 r1 r1 r1 表中含多重定义 不是LR(0)文法 4.5.3 SLR(1)分析法 若LR(0)项目集规范族中有项目集Ik含移进-归约或归约-归约冲突 Ik={ X→α.bβ,A?γ.，B?δ.} 若FOLLOW(A)∩ FOLLOW(B) =? FOLLOW(A)∩{b}=? FOLLOW(B)∩{b}=? 则解决冲突的SLR(1)技术：对于归约项目向前查