第七章+语法制导翻译技术及中间代码(new).ppt

第七章语法制导翻译技术及中间代码的生成,主要内容1.语义翻译的方法：采用语法制导翻译技术的方法。依据的文法(描述文法的语义)：属性文法。(一般掌握)语法制导翻译过程：根据已有的属性文法，生成句子的中间代码过程。(重点掌握)2.语义翻译结果的表示：中间代码。(重点掌握)常见：逆波兰表示四元式表示和三地址代码三元式和树形表示,1.语义分析概述,一、语义分析的任务任务有：审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。如：赋值语句：x:=x+y,左边变量类型与右边变量类型是否一致。在语义正确的基础上生成一种中间代码或目标代码。,二、语义分析的范围1o.确定类型：确定标识符所关联的数据类型。2o.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。3o.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义。，并作相应的语义处理（生成中间代码或目标代码）4o.控制流检查：控制流语句必须转移到合法的地方。如：C中，break语句规定跳出最内层的循环或switch语句.5o.一致性检查：在很多场合要求对象只能被说明一次，如：pascal语言规定同一个标识符在一个分程序中只能被说明一次等。,6o.相关名字检查：如：Ada，循环或块可以有一个名字，它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。其它：如名字的作用域分析等也是语义分析的工作。三、语义描述工具和语义分析方法语义描述工具目前流行：用属性文法作为描述语义的工具。语义分析方法根据描述属性文法的语义规则的方式不同，语义分析方法分为：语法制导定义方法翻译方案,2.属性文法,一、属性属性常用来描述事物或人的特征。如：人的姓名，性别等，商品的颜色、重量、单位等。属性：在编译中，对文法的每一个符号，引进一些属性，用这些属性描述文法符号相关的信息，如：类型、值或存储位置等。如：A:=X，在语法推导或归约时，有时结合X的类型，位置，值,考虑语法分析的正确性，即语法分析中有语义检查。如:X的属性：Xtype，Xplace，Xval分别表示X的类型，位置，值等语义。,属性值：可以在语法分析过程中计算和传递。属性的加工过程就是语义的处理过程。二、属性文法语义规则在对文法符号属性处理过程中，必须遵守一定义的规则语义规则。为文法的每一产生式定义一组属性的计算规则，称为语义规则。属性文法形式定义：一个属性文法是一个三元组A，A=(G,V,F)其中：G为一个上下文无关文法；V表示属性的有穷集合；F表示属性的断言或谓词的有穷集。,在属性文法中：每个属性与文法中某个符号相关联，用“符号属性”表示。如：Xtype,Xint,Xbool等。每个断言与文法的某产生式相关联。断言就是产生式上定义的一组语义规则。例：一个简单表达式方法：E:=T1+T2|T1orT2T:=num|true|false,根据程序语言中有关类型的检验原则，可以得到关于类型检验的属性文法：E:=T1+T2T1.type=intandT1.type=intE:=T1orT2T1.type=boolandT1.type=boolT:=numT.type=intT:=trueT.type=boolT:=falseT.type=bool属性分类：综合属性继承属性综合属性：从语法分析角度看，如果一个结点的某一属性，其值由子结点的属性的值来计算，称该属性为综合属性。,例：已知上例属性文法的输入串3+4语法树。其中：E中语义规则中的T1.type和T2.type中的type属性的值分别由子结点T1.type=int和T2.type=int中的int值来计算，使得E中的语义规则（断言）为真。因此：type是综合属性。综合属性用于“自下向上”传递信息。,继承属性：在语法分析树中，结点的某个属性值由该结点的兄弟结点和（或）父结点的属性值来计算，此结点的属性称为继承属性。继承属性用于“自上而下”传递信息。注意：终结符号只有综合属性，他由词法分析器提供。非终结符号既有综合属性，也可有继承属性。文法识别符号（开始符号）的所有继承属性作为属性计算前的初始值。根据处理不同的要求，属性和断言可以多种形式出现，如：语义规则或者程序段等。,例：简单表达式求值的属性文法。产生式：L:=Eprint(E.val)E:=E1+TE.val:=E1.val+T.valE:=TE.val:=T.valT:=T1*FE.val:=T1.val*F.valT:=FT.val:=F.valF:=(E)F.val:=E.valF:=digitF.val:=digit.lexval,例：描述说明语句中简单变量类型信息的属性文法产生式语义规则D:=TLL.in:=T.typeT:=intT.type:=integerT:=realT.type:=realL:=L1，idL1.in:=L.inaddtype(id.entry,L.in)L:=idaddtype(id.entry,L.in),文法定义了一种说明语句，该说明语句的形式是由关键字int或real开头，后跟一个标识符表，每一个标识符间用逗号隔开：realid1，id2，idn或intid1，id2，idn属性文法中，非终结符T有综合属性type，其值由关键字int和real决定。语义规则L.in:=T.type将L的属性值置为该说明语句指定的类型。L.in将被沿着语法树传递到下边的结点使用，与L产生式相联的规则里使用了它。如：句子intid1，id2语法树：图2,一、基本思想对文法中的每个产生式都附加上一个语义动作或语义子程序，伴随着语法分析，每当使用一条产生式进行推导或归约时，就执行相应产生式的语义动作（包括：查填表格，改变变量的求值，打印信息和生成中间代码等），从而完成预定的翻译工作。即在语法翻译过程中伴随部分语义的检查工作。,3.语法制导翻译概述,语法制导翻译方法：自底向上的语法制导翻译方法自顶向下的语法制导翻译方法二、语法制导翻译的步骤1、为所给文法每个产生式设计相应的语义规则。例：为一个简单表达式计值的文法：E=E+E|E*E|(E)|digit设计计值的语义规则如下：1.E=E(1)+E(2)Eval:=E(1)val+E(2)val2.E=E(1)*E(2)Eval:=E(1)val*E(2)val3.E=(E(1)Eval:=E(1)val4.E=digitEval:=lexdigit为文法产生式写语义规则或语义子程序是本章的难点.,2.采用LR分析方法，则构造LR分析表,3.将原LR语法分析栈扩充，增加语义值栈。,4.根据语义分析栈的工作过程设计总控程序，使语法分析与语义分析工作同时完成。例：计算表达式7+8*5的语法树，以及用LR语法制导翻译法得到该表达式的计值过程：,注：自底向上语法制导翻译的特点：当栈顶形成句柄执行归约时，调用相应的语义动作。语法分析与语义分析同步操作。,*,说明：若把计值的动作改为产生某种中间代码的子程序，那么，就能在伴随着语法分析的制导下，随着分析的进展逐步生成中间代码。问题：1.什么是中间代码？它有哪几种形式表示源程序语言的句子？4.中间语言2.在语义规则中，怎么样定义生成中间代码（主要是四元式或三地址式）的一些语义规则？5.表达式及语句的语义翻译3.根据具有生成中间代码的属性文法，生成中间代码的过程是怎样的？,一、中间语言概述1中间语言中间语言：它介于源程序到目标语言程序中间程序的语言中间语言程序：用中间语言表示的程序。作用：用于编译程序，将源程序翻译成等价的中间语言程序，再将中间语言程序转化成目标程序（即将语义分析和目标代码生成分开处理）源程序中间语言程序目标程序中间语言是表示语法制导翻译的结果。,等价变换,转化,4.中间语言,好处：中间语言与机器无关，使采用中间语言进行翻译的编译程序系统易于移植。易于优化翻译后的代码。使编译程序的结构在逻辑上更简单明确。2中间语言的表示常见：逆波兰表示四元式表示和三地址代码三元式和树形表示二、逆波兰表示,由波兰逻辑学家J.Lukasiewicz(卢卡西维兹)首先提出用来表示表达式的方法，后来推广到表示程序设计语言中的其它语法成分。表达式的逆波兰表示表达式的表示：中缀表示：运算符居中，运算对象在左右两边:a+b波兰表示：前缀表示：运算符在前，运算对象在后：+ab后缀表示：运算对象在前，运算符在后：ab+(逆波兰表示),例：逆波兰表示的例子,(1)表达式逆波兰表示的定义：设E是一般表达式，则：一般表达式逆波兰表达式若E为变量或常量E（E）E的逆波兰式E(1)opE(2)(二目运算)E(1)的逆波兰式E(2)的逆波兰式opopE(单目运算)E的逆波兰式op,在编译过程中，生成逆波兰表示的语义规则描述：产生式语义规则E:=E(1)opE(2)E.code=E(1).code|E(2).code|opE:=(E(1)E.code=E(1).codeE:=iE.code=i其中：E.code表示E的逆波兰式；|表示逆波兰式的连接。(2)逆波兰表示的特点a.标识符(运算对象)出现的顺序（从左到右）和原有顺序相同。b.运算符是按实际计算顺序（从左到右）出现的。c.运算符紧跟在运算对象的后面出现，并且没有括号。,(3)好处：易于对表达式的计算处理对于中缀表达式的计算，系统需要用两个工作栈分别处理运算对象和运算符。对于逆波兰表示的表达式计算处理只用一个工作栈。例：逆波兰式ab+c*的计算处理过程,遇运算对象a,b入栈,扫描ab+c*,栈,遇运算符+,取出a,b，运算结果T入栈,c*,遇运算对象c入栈,*,遇运算法*取出c,T作运算，设结果T1,2.形成逆波兰表示怎样将一般表达式转换成逆波兰表示？基本思想:从左到右扫描表达式，每遇到：1o表达式中的运算对象则往左去。2o表达式中的运算符，则与运算符栈顶元素比较优先数：,逆波兰表示,表达式,运算对象,运算符,进栈,出栈,运算符栈,如果运算符栈顶元素的优先数大于或等于表达式中当前的运算符优先数，则栈顶元素退栈向左去。然后当然运算符继续与栈顶的新元素比较优先数。直到栈顶元素的优先数小于表达式中当前运算符为止。此时，才将表达式中当前运算符进栈。,例：画出形成表达式a*(b+c/d)的逆波兰表示过程,a,*(b+c/d)#,#,a,(b+c/d)#,*#,a,b+c/d)#,(*#,ab,+c/d)#,(*#,ab,c/d)#,+(*#,abc,/d)#,+(*#,步骤,步骤,步骤,步骤,步骤,步骤,abc,d)#,abcd,)#,/+(*#,/+(*#,/,+(*#,Abcd/,)#,+,(*#,Abcd/+,)#,*,#,Abcd/+*,#,步骤,步骤,步骤,步骤,步骤,形成逆波兰表示的过程，实质上是表达式的翻译过程。（算法不难写出）例：a/b/c+d=ab/c/d+(a+b)*(c-d/e)=ab+cde/-*3.扩充的逆波兰表示逆波兰不仅仅用来表示计算表达式，而且可以推广到其它语法成分的表示。赋值语句：a:=e(其中e是表达式)逆波兰表示：ae:=(其中e应该为逆波兰表示),例：a:=3*(b+c)的逆波兰表示：a3bc+*:=条件语句：ifuthenS1elseS2逆波兰表示：ul1jumpfS1l2jumpS2其中：u为布尔表达式的逆波兰表示S1,S2均为相应语句的逆波兰表示。jumpf表示一个双目运算符：当u为假(0)时，它引向标号l1的分支，l1表示语句S2的开始位置。jump表示单目运算符：它无条件的引向标号为l2的分支，l2表示语句S2后的符号位置。逆波兰式表示的语义：当u=0(假)转去执行S2，否则转向执行S1，然后跳到S2之后的语句。,有下列源程序段：K:=0;ifijthenK:=K+6*ai-jelseBegini:=i+1;j:=j-1;End;,逆波兰表示：K0:=ijl1jumpfKK6ij-aSubs*+:=l2jumpl1:ii1+:=jj1-:=l2:含义：当ij为假便转向l1处执行S2;否则执行S1后无条件转到l2处即语句S2的后继部分。,三、三元式和树形表示1。三元式一个三元式由三个主要部分和一个序号组成：(i)(op,arg1,arg2)其中：op是运算符，arg1和arg2是运算对象。当op为一目运算符时，只有一个运算对象。(i)表示三元式的序号，三元式的运算结果由每个三元式前序号(i)指示。序号(i)指向三元式所处的表格位置，因此引用一个三元式的计算结果是通过引用该三元式的序号实现的。三元式出现的先后顺序与表达式的计值顺序一致。,例：a:=-b*c+b*d三元式：(1)(,b,_)(2)(*,(1),c)(3)(*,b,d)(4)(+,(2),(3)(5)(:=,(4),a)2.间接三元式由于三元式的先后顺序决定了值的顺序，因此在产生三元式形式的中间代码后，对其进行代码的优化时难免涉及到改变三元式的顺序(即三元式表示的中间代码不利用代码优化),这就要修改三元式表。为了最少改动三元式表，可以另设一张间接码表来表示有关三元式在三元式表的计值顺序，用这种办法处理的中间代码称为间接三元式。例：表达式x=A+B*Cy=D-B*C,其间接三元式表示如下：,由于间接码表的作用，编译程序每产生一个三元式时，先查看三元式表中是否存在当前三元式，若存在就不需要重复填写三元式表，如上例中的三元式(1)(*,B,C)在间接码表中出现了两次，但三元式表中实际只有一个三元式。注：三元式表示的中间代码不利于中间代码的优化。间接三元式表示的中间代码有利于中间代码的优化。,3.树形表示树形结构是三元式的另一种表示形式例如：上例a:=-b*c+b*d的树形表示(由三元式的下至上画出),树形表示法很容易表示一个表达式或语句。一个表达式中简单变量或常数的树形表示就是它们的本身。如果表达式e1和e2的树分别为T1和T2,则：e1和e2,e1*e2,-e1的树分别：,注：二目运算对应二叉树三目运算对应三叉树：如条件语句ifuthenS1elseS2可看作三目运算。其三目运算符定义为:ifthenelse则：树表示,注：多叉树不便于存储，可以化为二叉树：,四、四元式和三地址代码四元式是一种比较普遍采用的中间代码形式。四元式由四个部分组成：(i)(op,arg1,arg2,result)其中：op为运算符;arg1,arg2为运算对象。result存放结果的变量。四元式之间的联系通过变量来联系(而不用三元式中的序号联系)例：a:=b*c+b*d四元式表示：(1)(*,b,c,t1)(2)(*,b,d,t2)(3)(+,t1,t2,t3)(4)(:=,t3,_,a),注：四元式和三元式的主要不同在于：四元式之间的联系通过中间引用的变量名实现，而三元式之间的联系通过三元式序号实现。这说明要更改一张三元式表比较困难，它需要改变一序列的三元式的序号。四元式表的修改比较容易，调整四元式之间位置，不改变其中的参数。因此：四元式和三地址代码表示的中间代码便于中间代码的优化。而三元式和树不便于优化。,有时将四元式表示成更直观的形式三地址代码三地址代码形式：x:=aopb(赋值形式)与赋值语句的区别：其右边最多只能有一个运算符。例：上例的四元式写成三地址代码：(1)t1:=b*c(2)t2:=b*d(3)t3:=t1+t2(4)a:=t3,三地址代码表示的好处：表示中间代码更直观，有利于中间代码的优化和目标代码的生成。四元式的生成算法与逆波兰式生成算法基本相同。扩充四元式可表示程序语言的其它语法成分。例：将表达式:A+B*(C-D)-E/FG写成逆波兰表示、三元式和四元式逆波兰表示:ABCD-*+EFG/-三元式:(1)(-,C,D)(2)(*,B,(1)(3)(+,A,(2)(4)(,F,G)(5)(/,E,(4)(6)(-,(3),(5),四元式：(1)(-,C,D,T1)(2)(*,B,T1,T2)(3)(+,A,T2,T3)(4)(,F,G,T4)(5)(/,E,T4,T5)(6)(-,T3,T5,T6),三地址代码：T1:=C-DT2:=B*T1T3:=A+T2T4:=FGT5:=E/T4T6:=T3-T5,例：将语句:ifAVBDtheni:=i+1elsei:=i-1写成四元式。(1)(,B,D,T1)(2)(V,A,T1,T2)(3)(BMZ,T2,(7)（T2为假）(4)(+,i,1,T3)(5)(:=,T3,i)(6)(JMP,(9)(7)(-,I,1,T4)(8)(:=,T4,i)(9),三地址代码：(1)T1:=B,);i为逻辑变量或逻辑常量；iropi为关系表达式。1.布尔表达式的翻译布尔表达式的计值方法：(1)通过逐步计算出各部分的值来计算整个表达式的值.例：假定用1表示true,0表示false，则布尔表达式：,1(00)1=1(01)1=10=1(2)利用逻辑运算符的性质计值如：当A=1,则AB的值(不管B为何值)一定为1。布尔表达式计值方法不同，则采用的翻译方法也不同。例：按第(1)种方法，布尔表达式A=BCD将被翻译成如下的四元式序列：(1)ifA=Bgoto(4)(A=B为真转（4）)(2)T1=0(3)goto(5)(4)T1=1(5)T2=CD(6)T3=T1T2,例：按布尔表达式第(1)种计值法，将文法：E=EE|EE|E|(E)|iropi|i表示的布尔表达式翻译成四元式的翻译方案。E=E(1)E(2)Eplace=newtemp();emit(Eplace=E(1)placeE(2)place);E=E(1)E(2)Eplace=newtemp();emit(Eplace=E(1)placeE(2)place);E=E(1)Eplace=newtemp();emit(Eplace=E(1)place);E=(E(1)Eplace=E(1)place;E=i(1)ropi(2)Eplace=newtemp();emit(ifi(1)placeropi(2)placegotonextq+3);emit(Eplace=0);emit(gotonextq+2);emit(Eplace=1)E=iEplace=iplace,2.控制语句中布尔表达式的翻译布尔表达式不仅可以计值，而且其值还决定了程序控制流的转向(如if和while中).现讨论布尔表达式E在if-then,if-then-else和while-do中翻译。三种语句的语法和代码结构为：S=ifEthenS(1)|ifEthenS(1)elseS(2)|whileEdoS(1),为了将作为条件控制的布尔表达式E正确翻译成四元式，且E翻译的代码是一串条件转移和无条件转移的四元式代码，则定义下面的一组控制转移的四元式：(1)ifEgotoLi当E为真，转向Li,称Li为E的真出口，记为Etrue。(2)ifE(1)ropE(2)gotoLi当E(1)ropE(2)为真，转向Li,Li为关系运算符rop的真出口。(3)gotoLj无条件转向标号Lj，称Lj为假出口,记为：Efalse。例：E的布尔表达式为:af,翻译为如下四元式序列：(1)ifafgotoEtrue(6)gotoEfalse,注：布尔表达式计值是采用第二种方式进行。描述布尔表达式控制功能的语义的四元式序列都是由一串条件转移和无条件转移四元式代码组成。现把E布尔式放在条件语句中考察条件语句转移的出口问题例：有条件语句：ifafthenS(1)elseS(2)其四元式序列为：(1)ifafgoto(7)(6)goto(p+1)(7)(关于S(1)的四元式序列)(p)goto(q)(p+1)(关于S(2)的四元式序列)(q)后继四元式,四元式中的地址回填问题上述if四元式序列中的(1)和(5)四元式的转移地址(7)不能在产生式(1)和(5)四元式时立即得知，至少要等到if语句的then时才能回填(7)表示的产生S(1)的第一个四元式的地址。同理(4)和(6)四元式中的转移地址(p+1)也需要S(2)的第一个四元式的地址回填。采用拉链技术解决四元式序列中的地址回填为了记录需回填地址的四元式，把需回填Etrue的四元式拉成一个链(为真值的链简称真链)；把需要回填Efalse的四元式拉成另一个链(为假值的链简称假链)拉链的方法：若有四元式序列：(10).gotoEtrue(20).gotoEtrue(30).gotoEtrue则链成：,(10).goto(0)(20).goto(10)(30).goto(20)其中，地址(30)为链头，0为链尾标志，地址(10)为链尾。最后，讨论用于if语句和while语句中的布尔表达式的语义翻译问题。为了回填四元式中地址信息，要用到公共变量，过程和函数：四元式(标号或地址)指针nextqnextq的值表示下一个即将要产生的四元式标号，初值为1，每生成一个四元式，其值自动加1。设置非终结符E的语义变量EbcodeEbcode表示非终结符E的第一个四元式标号。回填过程backpatch(p,t),功能：把p所链接的每个四元式的第四区段都回填为t。若原第四区段已有信息，应保存后再回填为t。链接函数merge(p1,p2)将p1和p2为链首的两个链合并为一条，返回合并后的链首值。根据布尔运算特性，采用自下而上的语法制导翻译方法，给出布尔表达式文法中每个产生式相应的语义子程序：(1)E=iEtrue=nextq;Efale=nextq+1;Ebcode=nextq;emit(ifiplacegoto0);emit(goto0);(2)E=i(1)ropi(2)Etrue=nextq;Ebcode=nextq;Efale=nextq+1;emit(ifi(1)placeropi(2)placegoto0);emit(goto0);,(3)E=(E(1)Etrue=E(1)true;Efalse=E(1)false;Ebcode=E(1)bcode;(4)E=E(1)Etrue=E(1)false;Efalse=E(1)true;Ebcode=E(1)bcode(5)E=E(1)E(2)backpatch(E(1)false,E(2)bcode);Ebcode=E(1)bcode;Etrue=merge(E(1)true,E(2)true);Efalse=E(2)false;(6)E=E(1)E(2)backpatch(E(1)true,E(2)bcode);Ebcode=E(1)bcode;Etrue=E(2)true;Efalse=merge(E(1)false,E(2)false);,产生式(1)(同理(2),(3),(4)式一样)语义子程序中，可见用E=i归约后，E的真假链都有了具体值。这样，在用产生式(5)归约时，E(1)与E（2）的真假链分别也有了具体值。根据布尔运算的特性可知：(1)当E(1)为假时，计算E(2)，所以E(2)的第一个四元式地址(这是已记录在E(2)bcode中)E(2)bcode这时回填为E(1)的假值链，因此有backpatch(E(1)false,E(2)bcode)。(2)若E(1)为真时，无须计算E(2)而去执行S(1)的第一个四元式，但此时尚未扫描到“then”,因此，保留E(1)已形成的值链首E(1)true；若E(2)为真时，其转移地址用E(1)，所以将E(1)，E(2)两个真链E(1)true，E(2)true合并为E的一个链。(3)若E(1)为假，在计算E(2)，E(2)也为假，这时整个布尔式E(1)E(2)为假，可见E(2)的假出口与整个布尔式的假出口一致，此时E(2)的假出口E(2)false业已形成。因此，有Efalse=E(2)false。(4)尽管有E(1)，E(2)参与运算，但按扫描顺序，首先生成E(1)的四元式。因此，E(1)的第一个四元式也就是整个布尔式的第一个四元式，所以有Ebcode=E(1)bcode.同理不难分析(6)产生式的语义子程序。,下面以表达式ABD为例，按上面的翻译方案，说明将它生成四元式的过程。(1)首先指示器nextq赋初值为1，当扫描到A时，用E=i归约，根据产生式(1)的语义子程序，有：E(1)true=nextq=(1),E(1)false=nextq+1=(2),Ebcode=1,生成四元式:(1)ifAgoto0(2)goto0此时nextq=3(2)继续扫描，由自底向上的语法制导翻译可知，这时应归约BD,用产生式E=E(1)ropE(2)，有：E(2)true=nextq=(3),E(2)false=nextq+1=(4),E(2)bcode=nextq=(3),生成四元式:(3)ifBDgoto0(4)goto0此时nextq=5,(3)继续向上归约，用E=E(1)E(2)归约，有：回填backpatch(E(1)false,E(2)bcode)Ebcode=E(1)bcode;Etrue=merge(E(1)true,E(2)true);Efalse=E(2)false;因为E(1)ture=(1),E(2)ture=(3)所以合并后Etrue（3），将E(1)true放到E(2)的链尾。回填得:E(2)bcode=(3),将(3)填入E(1)false中，即goto(3)。合并E(1),E(2)的真链将E(2)true填到以E(1)为真链头的一个四元式区段中。最后E(2)的假链就是E的假链：Efalse=E(2)false;得到一组四元式:(1)ifAgoto0(2)goto(3)(3)ifBab+eV例：写出条件表达式：if(x+y)*z=5thenx:=(a+b)celsey:=abc(1)四元式序列(2)逆波兰表示解：(1)四元式序列(1)(+,x,y,T1)(2)(*,T1,z,T2)(3)(=,T2,5,T3)(4)(jumpf,T3,(9)(5)(+,a,b,T4)(6)(,T4,c,T5)(7)(:=,T5,x)(8)(jump,(12)(9)(,a,b,T6)(10)(,T6,c,T7)(11)(:=,T7,y)(12),(2)逆波兰表示对形如：ifethenx