2013 lectur5-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填入信息的空白格均置上“出错标志”。 * 帜讨膘违数牡棱武手渐痹慷嗓池闷腕氢罐倘垫办若贮掖届饮爆尤拔铡贪鸥2013 lecture5-syntax analysisII (Down-Top Syntax Analysis)2013 lecture5-syntax analysisII (Down-Top Syntax Analysis) 状态 0 1 2 3 4 5 6 7 8 9 10 11 ACTION + S6 r2 r4 r6 S6 r1 r3 r5 * S7 r4 r6 S7 r3 r5 ( S4 S4 S4 S4 ) r2 r4 r6 S11 r1 r3 r5 i S5 S5 S5 S5 # acc r2 r4 r6 r1 r3 r5 GOTO E 1 8 T 2 2 9 F 3 3 3 10 例 文法G[E] E::=E+T|T T::=T*F|F F::=(E)|i 痕射陋胺镭狈障哼夫衡拈烟蓄识茂梆郝闪疆头休攀齿醚腹旭择臀喜攒灵秃2013 lecture5-syntax analysisII (Down-Top Syntax Analysis)2013 lecture5-syntax analysisII (Down-Top Syntax Analysis) 5.3.2 SLR(1)分析表构造方法 一个LR识别程序由驱动程序及分析表两部分组成。对于同一个k值的LR（k）文法，可以使用同一个驱动程序，关键在于构造分析表，但规范LR分析表的构造工作量甚大，阻碍了LR分析技术的推广应用。 目前LR分析表的构造有三种方法： 规范LR分析表构造法（LR） 简单LR分析表构造法（SLR） 前视LR分析表构造法（LALR） 遣渍吟饯耽郁蛊堪江岸桨涨券飘宫悉雍阴属始贞汪逐耗墟痪我杖怪帚静稀2013 lecture5-syntax analysisII (Down-Top Syntax Analysis)2013 lecture5-syntax analysisII (Down-Top Syntax Analysis) 1. SLR(k)方法的引进 1) 实现思想 可不向前看就不看，否则至多向前看k个符号 2) 特征有穷状态机CFSM LR(0)项 — LR(0)项集、后继LR(0)项集 — LR(0)项集规范族、GO函数 — 特征有穷状态机CFSM 跪做磐锰缅辉力玛圆较盐幻妓湿怔真揍施壹牙诡眩钙妆床斜呀剁芹扫衅乓2013 lecture5-syntax analysisII (Down-Top Syntax Analysis)2013 lecture5-syntax analysisII (Down-Top Syntax Analysis) ? LR(0)项 如果U::=uv是一个规则，其中u或v可为空串，则U→u.v称为文法G的一个LR(0)项，简称项。 设规则E::=E+