大三编译原理第7章lr分析法

1．LR分析程 1．LR分析程序的逻符号第7第7章LR武汉大学计算机学院握握7.17.1LR分析法和LR1．LR分析程序的逻辑结#……7.1LR分析法和LR1．LR分析程序的逻辑结输入符7.1LR分析法和LR1．LR分析程序的逻辑结输入符号串，总控程序根据分析表分析并给出判断结果符号输入 1．LR分析程序的逻输入符号串，总控程序根据分析表分析并给出判断结果符号输入 状态符号输入##…… #…… 7.17.1LR分析法和LR1．LR分析程序的逻辑结构——i+*()#ETF0123123482356937897.17.1LR分析法和LR1．LR分析程序的逻辑结构——#…… 7.1LR分析法和LRLR分析过程符号 输入若ACTION7.1LR分析法和LRLR分析过程符号 输入若ACTIONqi，ak]=rj，且第j条产生式为U→x，|x|=m，且分析表中有GOTO[qi-m，U]=qt，则三元式变(q0q1…qi-mqt，#X1X2…Xi-mU，aki##…… 1132133415361i+*()#ETF012312348235693789规范句型活前LR(0)用LR(0)用LR(0)项目来表示一个句柄的所有识别状态7.2LR(0)分析表的构 各句柄的识别过SaA cB Ab 规范句句识别各句柄时已获得的符ba,adbabbcde的语法abbcde的语法活前缀包abbcde的语法活前缀包含了句柄识别到当前时刻的历史每一个活前缀所指示出的分析程abbcde的语法1．LR分析法的基本原如何识别状态符号输入1．LR1．LR句bd规范规范句句bd#……1．1．LR分析法的基本对句柄的识别过程就是对规范句型的活前缀的识别过程用确定的有穷自动机识别一个文法的所有规范句型的活前缀2.构造识别规范句型活前缀的文2.构造2.构造识别规范句型活前缀的DFA——以LR(0)项目集为状态qi={S'→.S，S→.aAcBe2.构造识别规范句型活前缀的DFA——以LR(0)项目集为状态I的任何项目均属于如果A→α.Bβ属于CLOSURE(I)，则所有B→.γ2.2.构造识别规范句型活前缀的DFA——以LR(0)项目集为状构造DFA的映iijIj=CLOSURE({A→αX.β|A→α.Xβ在Ii中Ii和Ij之间的这种转换关系用函数GOTO(Ii，X)=Ij表示若Ii和Ij相同，则取消Ij，而GOTO函数为GOTO(Ii，X)=Ii2．构造识别规范句型活前缀的DFA——举ccLR(0)项目集规范族B→c.Bd3．构造LR(0)分析①若U→x.ayIi，且GO(Ii，a)=Ij，aVT，则ACTION[i，a]=“Sj”②若S'→S.Ii，则置ACTION[i，＄]=“acc”④若GOTO(Ii，U)=Ij，其中UVN，则置GOTO[i，U]=“j”②abGOTO(I，U)=I，GOTO[i，U]=“j”abcd#EAB0112437456789Ii(状状i+*()#ETF012312348235693789r14．LR(0)文 Ii (2．LR(0)方法的问分析文法G[S]中所有以T作为句柄的句型分析文法G[S]中所有以E+T作为句柄的句型#}，这个集合正好是FOLLOW（E）22．LR(0)方法的问①若U→x.ayIi，且GO(Ii，a)=Ij，aVT，则ACTION[i，a]=“Sj”②若S′→S.Ii，则置ACTION[i，＄]=“acc”④若GOTO(Ii，U)=Ij，其中UVN，则置GOTO[i，U]=“j” r1 r1 假设一个状态I假设一个状态Ii项Ii={4．SLR(1)③若U→x.Ii，则对任意终结符a③若U→x.Ii，则对FOLLOW(U)中的终结符aI”i(“(T→T*状i+*()#ETF01231234823569378955．SLR(1)文iIi={满足{b1，b2，…，bm}和FOLLOW(V1)、FOLLOW(V2)、…FOLLOW(Vn)两两互不相交，则称这种文法G为SLR(1)文法1．SLR(1)分析文法G[S]中所有以T2．2．对SLR(1)分析表构造算法的分③若U→x.Ii，则对任意终结符a③若U→x.Ii，则对FOLLOW(U)中的终结符a和＄，均分析文法G[S]中所有以T作为句柄的句型但并不是FOLLOW(E)中的每一个符号都可以出现在每一个句柄T后3．解3．解决问题的方法还需要句柄之后的信息帮助！分析输入设有文法G[Z]，w=xuy是它的一个句型，如果且则称句型xuy中的子串u为句型xuy(相对于非终结符号的短语aa……a分析文法G[S]中所有以T作为句柄的句型但并不是FOLLOW(E)中的每一个符号都可以出现在每一个句柄T后如何记住每一个句柄的上下文4．LR(1)4．LR(1)向前搜索符a只对归约项目[U→vw.，a]在其它项目中，a只是起一个传递5.构造识别规范句型活前缀的DFA——以LR(1)项目集为状态I的任何项目均属于55.构造识别规范句型活前缀的DFA——以LR(1)项目集为状态i Ij=CLOSURE({[A→αX.β,a]|[A→α.Xβ,a]在Ii中Ii和Ij之间的这种转换关系用函数GOTO(Ii，X)=Ij表示若Ii和Ij相同，则取消Ij，而GOTO函数为GOTO(Ii，X)=Ii6．构造识别规范句型活前缀的DFA——举IIR→LS7．LR(1)文 LR(1)分析表的构造 LR(1)分析表的构造—LR文法的含状态符号输入1．LR(1)方法的不——分析表太庞大如何解空间的有效使用问题…#…方项记录的信归约造分析实8．构造8．构造LR(1)①若[U→x.ay,b]Ii，GO(Ii，a)=Ij，aVT，则ACTION[i,a]=“Sj”②若[S′→S.，$]Ii，则置ACTION[i,＄]=“acc”④若GOTO(Ii，U)=Ij，其中UVN，则置GOTO[i，U]=“j”8．构造LR(1)分析表——SR则ACTION[i,＄]=“acc”[U→x.,a]I④若状i*=#SLR0123123487569789SLS则ACTION[i,＄]=“acc”*置GOTO[i，U]=“j”。状状i*=#SLR0123123r2697.6二义文法的LR分效率高——级)进行归约。7.6二7.6二义文法的LR分⑵得到 的LR分析表⑶分析原因，确定无二义