编译原理 王生原 董渊 杨萍 张素琴 slide07新.pptVIP

SLR（1）分析 比较 LR（0）分析表和 SLR（1）分析表 在LR（0）分析表的ACTION 表中: 归约表项 总是整行出现的，即一个归约对于所有输入符 号都适用; 不会既有移进又有归约 而在SLR（1）分析表的ACTION 表中: 归约 表项只适用于相应非终结符Follow 集中的输入 符号; 可以既有移进又有归约 SLR（1）文法 按上述算法构造的分析表，如果各表项均无多 重定义，则称它为文法 G 的一张 SLR（1）表， 并称 G 为一个 SLR（1）文法 SLR（1）文法的LR（0）FSM中，每个状态都 满足： 对该状态的任何项目A?u.av（a为终结符），不存在 项目 B?w. 使得 a?Follow(B) 对该状态的任何两个项目A?u.和B?v.，满足 Follow(A) ? Follow(B) = ? SLR（1）分析 LR（1）分析 SLR（1）分析的局限性 只考虑到所归约非终结符的 Follow 符号 虽然是向前查看一个输入符号，但只要输入符号属 于所归约非终结符的 Follow 集合，就可进行归约 未考虑非终结符 Follow 集中的符号是否也是 句柄的 Follow 符号 一个输入符号属于所归约非终结符的 Follow 集合， 未必就是句柄可以后跟的符号 LR（1）分析 SLR（1）分析的局限性举例 验证如下文法不是 SLR（1）的 文法 G[E]: (1) E ? (L , E ) (2) E ? F (3) L ? L , E (4) L ? E (5) F ? ( F ) (6) F ? d G[E] 的增广文法 G’ [S]: (0) S ? E (1) E ? (L , E ) (2) E ? F (3) L ? L , E (4) L ? E (5) F ? ( F ) (6) F ? d SLR（1）分析的局限性举例 构造增广文法G’ [S] 的 LR（0）FSM 增广文法G’ [S]: (0) S ? E (1) E ? (L , E ) (2) E ? F (3) L ? L , E (4) L ? E (5) F ? ( F ) (6) F ? d I0: S ? .E E ? .(L,E) E ? .F F ? .(F) F ? .d I1: S ? E. I4: F ? d. E ( I3: E ? (.L,E) F ? (.F) L ? .L,E L ? .E F ? .(F) F ? .d E ? .(L,E) E ? .F I5: L ? E. I2: E ? F. I7: F ? (F.) E ? F. I6: E ? (L.,E) L ? L.,E F ( d E I4 d L F , I8: E ? (L,.E) L ? L,.E I9: F ? (F). ) E I10: E ? (L,E.) L ? L,E. I11: E ? (L,E). ) LR（1）分析 SLR（1）分析的局限性举例 文法G’ [S] 不是SLR（1）文法 状态 I7 的移进?归约冲突无法用 SLR（1） 分析方法解决 注意： )?Follow(E) 增广文法G’ [S]: (0) S ? E (1) E ? (L , E ) (2) E ? F (3) L ? L , E (4) L ? E (5) F ? ( F ) (6) F ? d I0: S ? .E E ? .(L,E) E ? .F F ? .(F) F ? .d I3: E ? (.L,E) F ? (.F) L ? .L,E L ? .E F ? .(F) F ? .d E ? .(L,E) E ? .F I7: F ? (F.) E ? F. I6: E ? (L.,E) L ? L.,E ( L F , I8: E ? (L,.E) L ? L,.E E I10: E ? (L,E.) L ? L,E. LR（1）分析 SLR（1）分析的局限性举例 状态 I7 的冲突是可以解决的 从 I3 ，I5和 I6