编译原理 教学课件 作者 王生原 董渊 杨萍 张素琴 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 符号 一个