第四章语法分析.ppt

归约从栈中弹出|?|个符号LR分析程序输出Action[sm,ai]=“rA??”sm-r……s0…a1ai…an$Goto[sm-r,A]=s|?|输入栈*第61页，共99页，星期日，2025年，2月5日归约从栈中弹出|?|个符号，再进栈LR分析程序输出Action[sm,ai]=“rA??”ssm-r……s0…a1ai…an$Goto[sm-r,A]=s|?|输入栈*第62页，共99页，星期日，2025年，2月5日接受LR分析程序输出Action[s,$]=“accept”ss0…a1ai…an$Goto输入栈*第63页，共99页，星期日，2025年，2月5日报错LR分析程序输出Action[s,a]未定义…a1ai…an$Gotosmsm-r……s0…输入栈*第64页，共99页，星期日，2025年，2月5日初始格局LR分析程序输出Action[s,a]Gotos0…a1ai…an$输入栈*第65页，共99页，星期日，2025年，2月5日算法4.7LR分析算法输入：一个输入串w和文法G的一张LR分析表M。输出：若w?L(G)，输出w的一个自底向上的分析；否则，报错。方法：初始状态s0分别放在栈顶，w$放在输入缓冲区；语法分析器执行下面的程序，直至遇见接受或出错动作。*第66页，共99页，星期日，2025年，2月5日置ip指向w$的第一个符号；…a1ai…an$ip*第67页，共99页，星期日，2025年，2月5日置ip指向w$的第一个符号；repeatforeverbegin

end*第68页，共99页，星期日，2025年，2月5日置ip指向w$的第一个符号；repeatforeverbegin

令s是栈顶状态，a是ip所指向的符号

ends…………s0…a1a…an$iptop*第69页，共99页，星期日，2025年，2月5日置ip指向w$的第一个符号；repeatforeverbegin

令s是栈顶状态，a是ip所指向的符号

ifaction[s,a]=“shifts?”thenbegin

将a和s?先后压入栈内； 让ip指向下一个输入符号；

end

end*第70页，共99页，星期日，2025年，2月5日4.6.2LR(0)项目（Item）在产生式右部加上‘·’，表示分析过程中的状态,指示产生式右部符号已经被识别了多少‘·’之前的子串已经出现在栈中‘·’之后的子串是下一步将看到的在文法产生式右部某个位置标有‘·’的产生式，称为文法的一个LR(0)项目。形如A??·的项目称为归约项目；形如A??·B?的项目称为待约项目(基本项目)；形如A??·a?的项目称为移进项目。*第29页，共99页，星期日，2025年，2月5日LR(0)项目例如，产生式A?XYZ对应四个项目：A?·XYZA?X·YZA?XY·ZA?XYZ·注意，产生式A??只对应一个项目：A?·*第30页，共99页，星期日，2025年，2月5日LR(0)项目集族对文法G，构造一个有限自动机，它能识别G的所有活前缀。在这个基础上，把自动机转变成LR分析表。NFA/DFA首先构造一个NFA，它能识别G的所有活前缀。NFA的状态是下面定义的一个“项目”。*第31页，共99页，星期日，2025年，2月5日增广文法对文法G[S]增加S’?SS’?S·是唯一动作为accept的状态。*第32页，共99页，星期日，2025年，2月5日闭包运算closure项目闭包：设I是文法G的一个LR(0)项目集合，I的项目闭包closure(I)定义如下：I?closure(I)若项目A??·B??closure(I)，且B??是G的产生式，则项目B?·??closure(I)closure(I)仅包含上述两条规则确定的LR(0)项目。*第33页，共99页，星期日，2025年，2月5日functionclosure(I)beginj:=I;repeatforeac