《语法制导翻译》PPT课件.ppt

语法制导翻译,？为什么进行词法和语法分析？用A进行归约表达的是什么意思看：operand+termEE1+TE1的值+T的值的结果作为E的值即：取来E1的值和T的值做加法运算，结果作为E的值E.val=E1.val+T.val,第五章语法制导翻译,翻译的任务首先是语义分析和正确性检查，若正确，则翻译成中间代码或目标代码。基本思想根据翻译的需要设置文法符号的属性，以描述语法结构的语义。例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。,5.1语法制导翻译概述,语法制导翻译的概念描述在进行语法分析的同时，完成相应的语义处理EE1+E2E.val:=E1.val+E2.val语法结构具有规定的语义问题：如何根据被识别出的语法成分进行语义处理？,1.语义分析的任务,语义检查例：类型、运算、维数、越界语义处理例：变量的存储分配例：表达式的求值例：语句的翻译（中间代码的生成）总目标：生成等价的中间代码,2.代码结构,计算学科：对信息（数据表示）描述和变换算法的系统研究变换：源、目标以及源与目标的对应关系语句的代码结构语句分类：说明语句符号表的查填可执行语句指令代码,3.典型处理方法,对应每一个产生式编制一个语义子程序，当一个产生式获得匹配时，调用相应的语义子程序实现语义检查与翻译EE1+TE.val:=E1.val+T.valTT1*FT.val:=T1.val*F.valFidF.val:=id.val适宜在完成归约的时候进行,3.典型处理方法,在产生式的右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作DTL.in:=T.typeLTintT.type:=integerTrealT.type:=realLL1.in:=L.inL1,id语义可以看成是相应文法符号的属性适宜在进行推导时完成,语义翻译的流程,输入符号串,分析树,依赖图,语义规则的计算,实际上，编译中语义翻译的实现并不是按图中的流程处理的；而是随语法分析的进展，识别出一个语法结构，就对它的语义进行分析和翻译。,语法制导定义是对上下文无关文法的推广每个文法符号都有一个相关的属性集。综合属性:通过分析树中其子节点的属性值计算出来；继承属性:由该节点的兄弟节点及父节点的属性值计算出来；依赖图语义规则建立了属性之间的依赖关系，这些关系可以用图来表示，这样的图称为依赖图。,属性,5.1语法制导定义(Syntax-directeddefinitions),在一个语法制导定义中，AP都有与之相关联的一套语义规则，规则形式为b：=f（c1，c2，ck），f是一个函数，而且或者1b是A的一个综合属性并且c1，c2，ck是中的符号的属性，或者2b是中的符号的一个继承属性并且c1，c2，ck是A或中的任何文法符号的属性。在两种情况下，都说属性b依赖于属性c1，c2，ck。,5.1.1语法制导定义的形式,例5.1台式计算器程序的语法制导定义（图52),产生式语义规则,LEnprint(Eval)(可看作是L的虚属性)EE1+TEval:=E1val+TvalETEval:=TvalTT1*FTval:=T1val*FvalTFTval:=FvalF(E)Fval:=EvalFdigitFval:=digitlexval,S-属性定义仅仅使用综合属性的语法制导定义。结点属性值的计算正好和自底向上分析建立分析树结点同步进行。例5.2输入：3*5+4n,5.1.2综合属性,digitlexval:=3,Fval:=3,Tval:=3,digitlexval:=5,Fval:=5,Tval:=15,*,Eval:=15,+,digitlexval:=4,Fval:=4,Tval:=4,Eval:=19,L,n,综合属性值的计算方法对于s-属性定义，通常使用自底向上的分析方法，在建立每一个结点处使用语义规则来计算综合属性值，即在用哪个产生式进行归约后，就执行那个产生式的s-属性定义计算属性的值，从叶结点到根结点进行计算。5.1.3继承属性继承属性值是由此结点的父结点和或兄弟结点的某些属性值来决定的。例5.3变量说明的属性定义inta,b,c,表5.2带有继承属性L.in的语法制导定义,产生式语义规则DTLLin:=TtypeTintTtype:=integerTrealTtype:=realLL1,idL1in:=Linaddtype(identry,Lin)Lidaddtype(identry,Lin),T,L,L,id3,L,id2,D,id1,real,1entry,2entry,3entry,4type,in5,6,in7,8,in9,10,依赖图的构造方法for分析树中的每个结点ndofor与结点n对应的文法符号的每个属性ado在依赖图中为a构造一个结点；for分析树的每个结点ndofor结点n所用产生式对应的每条语义规则b:f（c1，c2，ck)dofori:=1tokdo从结点ci到结点b构造一条有向边；,5.1.4依赖图_获得语义规则的计算顺序,例5-5图55分析树的依赖图,拓扑排序一个无环有向图的拓扑排序是图中结点的任何顺序m1，m2，mk，使得边必须是从序列中前面的结点指向后面的结点，也就是说，如果mimj是mi到mj的一条边,那么在序列中mi必须出现在mj的前面。若依赖图中无环，则存在一个拓扑排序，它就是属性值的计算顺序。,5.1.5计算顺序,1，2，3，4，5，6，7，8，9，10a4:=real;a5:=a4;addtype(id3entry,a5);a7:=a5;addtype(id2entry,a7);a9:=a7;addtype(id1entry,a9);,例5.6图5.7的拓扑排序是：,分析树法:输入串分析树依赖图计算次序基于规则的方法：在构造编译器时，用手工或专门的工具来分析语义规则,确定属性值的计算顺序。忽略语义规则的方法：在分析过程中翻译，那么计算顺序由分析方法来确定而表面上与语义规则无关。这种方法限制了能被实现的语法制导定义的种类。后两种方法不必显式构造依赖图，因此时空效率更高。,计算语义规则的方法,抽象语法（abstractsyntax）从具体语法中抽象出语言结构的本质性的东西，而不考虑语言的具体符号表示，从而可简化语义的形式描述。在不同的语言中赋值语句有不同的写法：x=y;x:=y;yx等等，可以用抽象形式assignment(variable,expression)把前面各种具体形式统一起来。,5.2语法树（syntaxtree）的构造,表示程序层次结构的树，它把分析树中对语义无关紧要的成分去掉，是分析树的抽象形式，也称作语法结构树，或结构树。语法树是常用的一种中间表示形式。把语法分析和翻译分开。语法分析过程中完成翻译有许多优点，但也有一些不足：1.适于语法分析的文法可能不完全反映语言成分的自然层次结构；2.由于语法分析方法的限制，对分析树结点的访问顺序和翻译需要的访问顺序不一致。,语法树,产生式sifBthenS1elseS2的语法树if-then-else|BS1S2赋值语句的语法树assignmentvariableexpression在语法树中，运算符号和关键字都不在叶结点，而是在内部结点中出现。,5.2.1语法树,构造表达式的语法树使用的函数1.mknode(op,left,right)建立一个标记为op的运算符结点，两个域left和right是指向左右运算对象的指针。2mkleaf(id,entry)建立一个标记为id的标识符结点,其域entry是指向该标识符在符号表中相应表项的指针。3.mkleaf(num,val)建立一个标记为num的数结点，域val用于保存该数的值。返回指向新建立结点的指针。,5.2.2构造表达式的语法树,id,toentrya,num4,id,toentryc,+,图5-8a-4+c的语法树,5.2.3构造语法树的语法制导定义,产生式语义规则EE1+TE.nptr:=mknode(+,E1.nptr,T.nptr)EE1-TE.nptr:=mknode(-,E1.nptr,T.nptr)ETE.nptr:=T.nptrT(E)T.nptr:=E.nptrTidT.nptr:=mkleaf(id,id.entry)TnumT.nptr:=mkleaf(num,num.val),图5-10a-4+c的语法树的构造,无环有向图（DirectedAcyclicGraph，简称dag)用途：提取表达式中的公共子表达式，以取得目标程序的局部优化。方法：执行mknode和mkleaf时，检查是否已有相同的结点，若有，则返回相应结点的指针。,5.2.4表达式的无环有向图,例5.9表达式aa*(b-c)+(b-c)*d的dag,+,*,d,+,*,a,c,b,在分析栈中使用一个附加的域来存放综合属性值。下图为一个带有综合属性值域的分析栈：,state,val,.,X,X.x,Y,.,Y.y,.,.,Z,Z.z,top,5.3S-属性定义及其自底向上的计算,Ab:=f(c1,c2,ck)b是A的综合属性，ci(1ik)是中符号的属性。综合属性的值是在自底向上的分析过程中，每次归约之前进行计算的。AXYZAa:=f(Xx,Yy,Zz),Aa,XxYyZz,top,state,val,.,.,X,X.x,Y,Y.y,Z,Z.z,state,val,.,.,A,A.a,top,定义式A.a:=f(X.x,Y.y,Z.z)（抽象）变成valntop:=f(valtop-2,valtop-1,valtop)（具体可执行代码）。在执行代码段之前执行：ntop:=top-r+1r是句柄的长度执行代码段后执行：top:=ntop;,产生式代码段(和图52对比）LEnprintf(valntop)EE+Tvalntop:=valtop-2+valtopETTT*Fvalntop:=valtop-2*valtopTFF(E)valntop:=valtop-1Fdigit,例5.10用LR分析器实现台式计算器(图516）,表5.5翻译输入3*5+4n所做的移动,输入stateval使用的产生式,3*5+4n-,*5+4n33,*5+4nF3Fdigit,*5+4nT3TF,5+4nT*3-,+4nT*53-5,+4nT*F3-5Fdigit,+4nT15TT*F,+4nE15ET,4nE+15-,nE+415-4,nE+F15-4Fdigit,nE+T15-4TF,nE19EE+T,En19-,L19LEn,采用自底向上分析，例如LR分析，首先给出S-属性定义，然后，把S-属性定义变成可执行的代码段，这就构成了翻译程序。象一座建筑，语法分析是构架，归约处有一个“挂钩”，语义分析和翻译的代码段（语义子程序）就挂在这个钩子上。这样，随着语法分析的进行，归约前调用相应的语义子程序,完成翻译的任务。,总结,在语法分析过程中进行语义分析和翻译，属性的计算顺序受到语法分析建立分析树结点顺序的限制。一种自然的计算属性的顺序是按深度优先访问分析树结点的顺序，它适应多种自底向上和自顶向下的翻译方法。L-属性定义可用于按深度优先顺序计算属性值。,5.4L-属性定义,proceduredfvisit(n:node);beginforn的每个子结点m(从左至右)dobegin计算m的继承属性；dfvisit(m)end;计算n的综合属性end;,深度优先顺序计算属性,定义一个语法制导定义是L-属性定义，如果AX1X2XnP,其每一个语义规则中的每一个属性都是一个综合属性，或是Xj(1jn)的一个继承属性，这个继承属性仅依赖于1.产生式中Xj的左边符号X1，X2，Xj-1的属性；2A的继承属性。每一个S-属性定义都是L-属性定义。,5.4.1L-属性定义,图519非L-属性的语法制导定义,产生式,语义规则,ALMAQR,L.i:=l(A.i)M.i:=m(L.s)A.s:=f(M.s)R.i:=r(A.i)Q.i:=q(R.s)A.s:=f(Q.s),图519的语法制导定义不是L-属性定义文法符号Q的继承属性依赖于它右边文法符号R的属性,定义翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应，语义规则或语义动作用花括号括起来，可被插入到产生式右部的任何合适的位置上。这是一种语法分析和语义动作交错的表示法，它表达在按深度优先遍历分析树的过程中何时执行语义动作。翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。,5.4.2翻译模式,将带有+号和-号的中缀表达式翻译成后缀表达式：ETRRaddopTprint(addop.lexeme)R1|Tnumprint(num.val)把语义动作看成终结符号，输入9-5+2,其分析树如图520，当按深度优先遍历它，执行遍历中访问的语义动作，将输出95-2+它是输入表达式9-5+2的后缀式。,例5.12一个简单的翻译模式,图5.109-5+2的带语义动作的分析树,条件：语法制导定义是L-属性定义保证语义动作不会引用还没有计算的属性值。1.只需要综合属性的情况：为每一个语义规则建立一个包含赋值的动作，并把这个动作放在相应的产生式右边的末尾。例如：TT1*FTval:=T1val*FvalTT1*FTval:=T1val*Fval,设计翻译模式（根据语法制导定义）,2.既有综合属性又有继承属性产生式右边的符号的继承属性必须在这个符号以前的动作中计算出来。一个动作不能引用这个动作右边符号的综合属性。产生式左边非终结符号的综合属性只有在它所引用的所有属性都计算出来以后才能计算。计算这种属性的动作通常可放在产生式右端的末尾。,设计翻译模式（根据语法制导定义）,下面的翻译模式不满足要求：SA1A2A1in:=1;A2in:=2Aaprint(Ain)例5.13从L-属性制导定义建立一个满足上面要求的翻译模式。使用文法产生的语言是数学排版语言EQNEsub1val编排结果,E,1,val,B.ps:=10S.ht:=B.htB1.ps:=B.psB2.ps:=B.psB.ht:=max(B1.ht,B2.ht)B1.ps:=B.psB2.ps:=shrink(B.ps)B.ht:=disp(B1.ht,B2.ht)B.ht:=text.h*B.ps,SBBB1B2BB1subB2Btext,产生式,语义规则,图5-22盒子的大小和高度的语法制导定义,B是盒子；BBB表示两个盒子的并置；BBsubB表示第二个盒子是第一个盒子的下标；ps是继承属性，影响公式的高度；正文的实际高度等于正文的标准高度乘以B.ps；B的高度由综合属性ht表示；texth可根据text的性质查表得到；shrink把B2的尺寸缩小30%；disp把B2向下偏置。,SB.ps:=10BS.ht:=B.htBB1.ps:=B.psB1B2.ps:=B.psB2B.ht:=max(B1.ht,B2.ht)BB1.ps:=B.psB1subB2.ps:=shrink(B.ps)B2B.ht:=disp(B1.ht,B2.ht)BtextB.ht:=text.h*B.ps,从图5-22构造的翻译模式,用翻译模式构造自顶向下翻译。5.5.1从翻译模式中消除左递归对于一个翻译模式，若采用自顶向下分析，必须消除左递归和提取左公因子，在改写基本文法时考虑属性值的计算。例5.14图524的带左递归的文法的翻译模式被转换成图525的带右递归的文法的翻译模式。,5.5自顶向下的翻译,EE1+TEval:=E1val+TvalEE1-TEval:=E1val-TvalETE.val:=TvalT(E)Tval:=EvalTnumTval:=numval,带左递归的文法的翻译模式,ETRi:=TvalREval:=RsRTR1i:=R.i+T.valR1R.s:=R1sR-TR1i:=Ri-TvalR1Rs:=R1sRRs:=RiT（E）Tval:=E.valTnumTval:=numval,经过转换的带有右递归文法的翻译模式,Eval=6,Tval=9,Ri=9;Rs=6,9,Tval=5,5,Ri=4;Rs=6,+,Tval=2,Ri=6;Rs=6,2,图526表达式9-5+2的计算,左递归翻译模式AA1YA.a:=g(A1.a,Y.y)AXA.a:=f(X.x)（5.2）每一个文法符号都有一个综合属性，用相应的小写字母表示，g和f是任意函数。消除左递归，文法转换成AXRRYR|（5.3）,关于左递归翻译模式更一般化的讨论,再考虑语义动作，翻译模式变为：AXRi:=f(Xx)RA.a:=R.sRYR1i:=g（Ri,Yy）R1Rs:=R1sRRs:=Ri（5.4）经过转换的翻译模式与图525中一样,使用R的继承属性i和综合属性s。（5.2）和（5.4）的结果是一样的,为什么？,关于左递归翻译模式更一般化的讨论,Aa=g(g(f(Xx),Y1y),Y2y),Aa=g(f(Xx),Y1y),Aa=f(Xx),Y2,Y1,X,(a),输入：XY1Y2,A,Ri=f(Xx),Ri=g(f(Xx),Y1y),Ri=g(g(f(Xx),Y1y),Y2y),Y2,Y1,X,(b),EE1+TEnptr:=mknode(+,E1nptr,Tnptr)EE1-TEnptr:=mknode(-,E1nptr,Tnptr)ETEnptr:=Tnptr从翻译模式中消除左递归，变成图528的翻译模式。,例5.15表达式建立语法树的翻译模式,ETRi:=TnptrREnptr:=RsRTR1i:=mknode(+,Ri,Tnptr)R1Rs:=R1sR-TR1i:=mknode(-,Ri,Tnptr)R1Rs:=R1sRRs:=RiT(E)Tnptr:=EnptrTidTnptr:=mkleaf(id,identry)TnumTnptr:=mkleaf(num,numval),使用继承属性构造语法树,E,i,R,s,T,id,R,-,T,num,i,R,T,+,id,id,num4,id,-,+,toentryfora,toentryforc,nptr,nptr,nptr,算法5.1预测语法制导翻译器的建立输入：一个带有适合预测分析的基础文法的语法制导翻译模式。输出：一个语法制导翻译器的代码。方法：在预测分析器中加入语义动作代码。1AVN,建立一个可递归调用的函数过程A。为A的每一个继承属性都设置一个形式参数，函数的返回值是A的综合属性值。2.函数过程A的代码（指用符号形式表示的数据和程序）要根据当前的输入符号来决定使用哪一个产生式。,5.5.2预测翻译器的设计,3与每一个产生式有关的代码，从左到右根椐产生式右部是单词符号、非终结符号还是语义动作，分别是：（a）对于带有综合属性x的单词符号X，x存放在X.x中，Match(X)。（b）对于BVN，编写一个赋值语句c：=B（b1,b2,，bk)其中，b1,b2,，bk是继承属性，c是综合属性。（c）对于每个动作，动作的代码抄进翻译器中，用代表属性的变量来代替对属性的每一次引用。,5.5.2预测翻译器的设计,例5.16：RaddopTR1i:=mknode（addoplexeme，Ri，Tnptr）R1R.s:=R1.sRR.s:=R.i（55）递归下降构造语法树functionR（in:syntax-tree-node）：syntaX-tree-node；varnptr,i1,s1,s：syntax-tree-node;addoplexeme:char；,IFlookahead=addopTHEN/*产生式RaddopTR*/addoplexeme:=lexval;match(addop);nptr:=T;i1:=mknode(addoplexeme,in,nptr);s1:=R(i1);s:=s1;ELSEs:=in;/*产生式R*/return(s);,5.6L属性的自底向上计算,在自底向上分析的框架中实现L属性定义的方法它能实现任何基于LL(1)文法的L属性定义也能实现许多（但不是所有的）基于LR(1)的L属性定义,5.6.1删除翻译方案中嵌入的动作ETRR+Tprint(+)R1|Tprint()R1|Tnumprint(num.val),5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6.1删除翻译方案中嵌入的动作ETRR+Tprint(+)R1|Tprint()R1|Tnumprint(num.val)在文法中加入产生的标记非终结符，让每个嵌入动作由不同标记非终结符M代表，并把该动作放在产生式M的右端,5.6L属性的自底向上计算,5.6.1删除翻译方案中嵌入的动作ETRR+Tprint(+)R1|Tprint()R1|Tnumprint(num.val)在文法中加入产生的标记非终结符，让每个嵌入动作由不同标记非终结符M代表，并把该动作放在产生式M的右端ETRR+TMR1|TNR1|Tnumprint(num.val)Mprint(+)Nprint(),5.6L属性的自底向上计算,5.6.2分析栈上的继承属性属性位置能预测例intp,q,rDTL.in=T.typeLTintT.type=integerTrealT.type=realLL1.in=L.inL1,idaddtype(id.entry,L.in)Lidaddtype(id.entry,L.in),5.6L属性的自底向上计算,5.6L属性的自底向上计算,属性的位置不能预测SaACC.i=A.sSbABCC.i=A.sCcC.s=g(C.i),5.6L属性的自底向上计算,属性的位置不能预测SaACC.i=A.sSbABCC.i=A.sCcC.s=g(C.i)增加标记非终结符SaACC.i=A.sSbABMCM.i=A.s;C.i=M.sCcC.s=g(C.i)MM.s=M.i,5.6L属性的自底向上计算,5.6.3模拟继承属性的计算继承属性是某个综合属性的一个函数SaACC.i=f(A.s)CcC.s=g(C.i)增加标记非终结符，把f(A.s)的计算移到对标记非终结符归约时进行SaANCN.i=A.s;C.i=N.sNN.s=f(N.i)CcC.s=g(C.i),5.6L属性的自底向上计算,例数学排版语言EQNSB.ps=10BS.ht=B.htBB1.ps=B.psB1B2.ps=B.psB2B.ht=max(B1.ht,B2.ht)BB1.ps=B.psB1subB2.ps=shrink(B.ps)B2B.ht=disp(B1.ht,B2.ht)BtextB.ht=text.hB.ps,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.6L属性的自底向上计算,5.7递归计算,回顾：语法制导定义的实现分析树方法边分析边进行属性计算，只能完成L属性计算（忽略规则的方法）本节介绍先分析后计算的方法，不局限于L属性计算（基于规则的方法）为每个非终结符构造一个属性计算函数，但是该函数不含语法分析部分为非终结符的不同综合属性构造不同的函数,5.7递归计算,5.7.1自左向右遍历为B构造一个属性计算函数SB.ps=10BS.ht=B.htBB1.ps=B.psB1B2.ps=B.psB2B.ht=max(B1.ht,B2.ht)BB1.ps=B.psB1subB2.ps=shrink(B.ps)B2B.ht=disp(B1.ht,B2.ht)BtextB.ht=text.hB.ps,5.7递归计算,functionB(n,ps);varps1,ps2,ht1,ht2;begincase在结点n的产生式ofBB1B2:ps1=ps;ht1=B(child(n,1),ps1);ps2=ps;ht2=B(child(n,2),ps2);returnmax(ht1,ht2);,BB1.ps=B.psB1B2.ps=B.psB2B.ht=max(B1.ht,B2.ht),5.7递归计算,functionB(n,ps);varps1,ps2,ht1,ht2;begincase在结点n的产生式ofBB1subB2:ps1=ps;ht1=B(child(n,1),ps1);ps2=shrink(ps);ht2=B(child(n,3),ps2);returndisp(ht1,ht2);,BB1.ps=B.psB1subB2.ps=shrink(B.ps)B2B.ht=disp(B1.ht,B2.ht),5.7递归计算,functionB(n,ps);varps1,ps2,ht1,ht2;begincase在结点n的产生式ofBtext:returnpstext.h;default:errorend,BtextB.ht=text.hB.ps,5.7递归计算,5.7.2其它遍历方法按所需次序访问结点的子结点，可用于非L属性定义ALML.i=l(A.i);M.i=m(L.s);A.s=f(M.s)AQRR.i=r(A.i);Q.i=q(R.s);A.s=f(Q.s),5.7递归计算,ALM:/*从左到右的次序*/li=l(ai);ls=L(child(n,1),li);mi=m(ls);ms=M(child(n,2),mi);returnf(ms);,5.7递归计算,AQR:/*从右到左的次序*/ri=r(ai);rs=R(child(n,2),ri);qi=q(rs);qs=Q(child(n,1),qi);returnf(qs);,5.7递归计算,5.7.3多次遍历SEE.i=g(E.s);S.r=E.tEE1E2E.s=fs(E1.s,E2.s);E1.i=fi1(E.i);E2.i=fi2(E.i);E.t=ft(E1.t,E2.t)EidE.s=id.s;E.t=h(E.i),5.7递归计算,综合属性t不可能和s在同一遍扫描中完成计算,5.7递归计算,functionSr(n);begins=Es(child(n,1);i=g(s);t=Et(child(n,1),i);returntend;,5.7递归计算,functionEs(n);|functionEt(n,i);begin|begincase在结点n的产生式of|case在结点n的产生式ofEE1E2:|EE1E2:s1=Es(child(n,1);|i1=fi1(i);s2=Es(child(n,2);|t1=Et(child(n,1),i1);returnfs(s1,s2);|i2=fi2(i);Eid:|t2=Et(child(n,2),i2);returnid.s;|returnft(t1,t2);default:|Eid:error|returnh(i);end|default:end;|error|end|end;,本章要点,语义规则的两种描述方法：语法制导的定义和翻译方案设计简单问题的语法制导定义和翻译方案，这是本章的重点和难点语义规则的三种计算方法：分析树方法、基于规则的方法和忽略规则的方法S属性的自底向上计算（边分析边计算）L属性的自上而下计算（边分析边计算）L属性的自底向上计算（边分析边计算）递归计算（先分析后计算）,