2013 lecture5-syntax analysisII (Down-Top Syntax Analysis).pptVIP

LR(0)分析表的构造 假定C={I0, I1,……，In}，令每个项目集Ik的下标k 为分析器的一个状态，因此，G` 的LR(0)分析表含有状态0，1，……，n。令那个含有项目S`→．S的Ik的下标k为初态。ACTION和GOTO可按如下方法构造： 1. 若项目A→α．aβ属于Ik且GO (Ik, a)= Ij, a为终结符，则置ACTION[k, a]为“把状态j和符号a移进栈”，简记为“sj”; 2. 若项目A→α．属于Ik, 那么，对任何终结符a, 置ACTION[k, a]为“用产生式A→α进行规约”，简记为“rj”;其中，假定A→α为文法G`的第j个产生式； 3. 若项目S`→S．属于Ik, 则置ACTION[k, #]为“接受”，简记为“acc”; 4. 若GO (Ik, A)= Ij, A为非终结符，则置GOTO(k, A)=j; 分析表中凡不能用规则1至4填入信息的空白格均置上“出错标志”。 * 状态 ACTION GOTO + * ( ) i # E T F 0 S4 S5 1 2 3 1 S6 acc 2 r2 S7 r2 r2 3 r4 r4 r4 r4 4 S4 S5 8 2 3 5 r6 r6 r6 r6 6 S4 S5 9 3 7 S4 S5 10 8 S6 S11 9 r1 S7 r1 r1 10 r3 r3 r3 r3 11 r5 r5 r5 r5 例 文法G[E] E::=E+T|T T::=T*F|F F::=(E)|i 5.3.2 SLR(1)分析表构造方法 一个LR识别程序由驱动程序及分析表两部分组成。对于同一个k值的LR（k）文法，可以使用同一个驱动程序，关键在于构造分析表，但规范LR分析表的构造工作量甚大，阻碍了LR分析技术的推广应用。 目前LR分析表的构造有三种方法： 规范LR分析表构造法（LR） 简单LR分析表构造法（SLR） 前视LR分析表构造法（LALR） 1. SLR(k)方法的引进 1) 实现思想 可不向前看就不看，否则至多向前看k个符号 2) 特征有穷状态机CFSM LR(0)项 — LR(0)项集、后继LR(0)项集 — LR(0)项集规范族、GO函数 — 特征有穷状态机CFSM ? LR(0)项 如果U::=uv是一个规则，其中u或v可为空串，则U→u.v称为文法G的一个LR(0)项，简称项。 设规则E::=E+T，可有相应的4个LR(0)项,即， E→.E+T E→E.+T E→E+.T E→E+T. （ Z→E.# ） 待约项 移入项 待约项 归约项 接受项 不完备项 完备项 初始LR（0）项：Z??.Z，或Z??.Z#， 如 Z→.E# 对LR(0)项的理解: 它指明了在识别过程中以某非终结符号为目标时，某时刻已进行归约到相应规则右部多大部分。 ? LR（0）项集、初始LR（0）项集 CLUSURE({Z→.E#}) (项集闭包) 其中CLUSURE(I)=I∪{ V-.w|U-u.Vv∈CLUSURE(I), 且V::=w是文法规则 } 如：{Z→.E#, E→.E+T,E→.T,T→.T*F,T→.F,F→.(E),F→.i} ?后继项 U→u.Av的后继项： U→uA.v 如， E→.E+T的后继项是E→E.+T ?后继LR（0）项集 后继LR（0）项的项集闭包 ?文法的LR