编译原理Chapter考试重点.pptVIP

第7章 LR分析法 主要内容： 7.1 LR分析法概述 7.2 LR(0)分析 7.3 SLR(1)分析 7.4 LR(1)分析 7.5 LALR(1)分析 7.6 使用二义文法 最常用和最有效的模型——移进-归约方法 例: G[S] S – E E – T | E + T T – i | (E) 1、规约: 如能找到一产生式 A – w 且栈中的内容是 qw (q 可能为空)， 则可以将其归约为 qA。即倒过来 用这个产生式。如上例，若栈中内容是 (i ，我们使用 产生式 T– i柄把栈中内容归约为(T 2、移进: 如不能执行一个归约且在未消化的输入中还 有字符，就把它从输入移到栈中。如上例，假定栈中 内容是 ( ,输入中还有 i+i)#。不能对( 执行一个归约， 因为它不和任何产生式的右端匹配。所以把输入的第 一个符号移到栈中，于是栈中内容是 (i ，而余留的输 入是 +i)# 。 3、规约的一个特殊情况：栈中的全部内容w归约 为开始符号S （即施用 S – w），且没有余留输 入了，意味着已成功分析了整个输入串。 4、移进归约分析中还会出现一种情况，就是出 错，比如当前的token不能构成一个合法句子的 一部分，例如上面的文法，试分析i+)时就会发生 错误。 符号栈 剩余的符号串 分析动作 1 # (i + i)# 移进 2 #( i + i)# 移进 3 #(i + i)# 归约: T – i 4 #(T + i)# 归约: E – T 5 #(E + i)# 移进 6 #(E + i)# 移进 7 #(E + i )# 归约: T – i 8 #(E + T )# 归约: E – E+T 9 #(E )# 移进 10 #(E) # 归约: T – (E) 11 #T # 归约: E – T 12 #E # 归约: S – E 13 #S # 8 (E + T )# 归约:E – E + T 为什么对E+T进行规约？ 9 (E ) # 若使用了E–T，在栈中形成的(E+E不是规范句型的 活前缀（viable prefixes）,（E+E不能和任何产生式的 右端匹配 （E+E）不是规范句型活前缀是规范句型（右句型） 的前缀，但不超过句柄 注意：移进归约分析的栈中出现的内容加上余留输入 构成规范句型 规范推导/规范句型/规范归约 最右推导：在推导的任何一步α?β，其中α和β是句型， 都是对α中的最右非终结符进行替换。 最右推导被称为规范推导。由规范推导所得的句型称为规范 句型 例：G[S]： S→E E→E+T | T T→(E) | i S?E ?T ?(E) ?(E+T) ?(E+i) ?(T+i) ?(i+i) 规范归约： 假定α是G的一个句子，称序列αn、αn-1 …、α0是α的一个 规范归约，如果该序列满足： 1、 αn = α 2、 α0为文法的开始符号 3、对任何j，0j=n， αj-1是从αj经把句柄替换为相应产生 式的左部而得到的 7.1