语法制导翻译和中间代码.pptVIP

8.2.3L-属性文法和自顶向下翻译通过深度优先的方法对语法树进行遍历，计算属性文法的所有属性值LL(1)：自上而下分析方法，深度优先建立语法树第30页，共74页，星期日，2025年，2月5日一个属性文法称为L-属性文法，如果对于每个产生式A→X1X2…Xn，其每个语义规则中的每个属性或者是综合属性，或者是Xj(1?j?n)的一个继承属性且这个继承属性仅依赖于：(1)产生式Xj的左边符号X1，X2，…，Xj-1的属性；(2)A的继承属性。S-属性文法一定是L-属性文法第31页，共74页，星期日，2025年，2月5日【思考】非L-属性的语法制导定义【分析】该语法制导定义不是L-属性定义，文法符号Q的继承属性依赖于它右边文法符号R的属性。产生式语义规则A?LMA?QRL.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)第32页，共74页，星期日，2025年，2月5日8.3中间代码的形式中间代码是源程序的一种内部表示复杂性介于源语言和目标机语言之间中间代码的作用使编译程序的逻辑结构更加简单明确利于进行与目标机无关的优化利于在不同目标机上实现同一种语言中间代码的形式逆波兰式、四元式、三元式、树第33页，共74页，星期日，2025年，2月5日1、后缀表示式Lukasiewicz发明的一种表示表达式的方法，又称逆波兰表示法。一个表达式E的后缀形式可以如下定义：1）如果E是一个变量或常量，则E的后缀式是E自身。2）如果E是E1opE2形式的表达式，其中op是任何二元运算符，则E的后缀式为E1?E2?op，其中E1?和E2?分别为E1和E2的后缀式。3）如果E是(E1)形式的表达式，则E1的后缀式就是E的后缀式。第34页，共74页，星期日，2025年，2月5日1、后缀表示式逆波兰表示法不用括号。只要知道每个算符的目数，对于后缀式，不论从哪一端进行扫描，都能对它进行唯一分解。例如：（a+b）*c表示成ab+c*后缀式的计算用一个栈实现。一般的计算过程是：自左至右扫描后缀式，每碰到运算量就把它推进栈。每碰到k目运算符就把它作用于栈顶的k个项，并用运算结果代替这k个项。第35页，共74页，星期日，2025年，2月5日1、后缀表示式把表达式翻译成后缀式的语义规则描述产生式E→E(1)opE(2)E→(E(1))E→id 语义动作E.code:=E(1).code||E(2).code||opE.code:=E(1).codeE.code:=idE.code表示E后缀形式op表示任意二元运算符“||”表示后缀形式的连接。第36页，共74页，星期日，2025年，2月5日数组POST存放后缀式：k为下标，初值为1上述语义动作可实现为： 产生式 程序段 E→E(1)opE(2) {POST[k]:=op;k:=k+1} E→(E(1)) {} E→i {POST[k]:=i;k:=k+1}例：输入串a+b+c的分析和翻译 POST：12345E→E(1)opE(2) E.code:=E(1).code||E(2).code||opE→(E(1)) E.code:=E(1).codeE→id E.code:=idab+c+…第37页，共74页，星期日，2025年，2月5日2、图表示法DAG（无循环有向图）抽象语法树（1）无循环有向图(DirectedAcyclicGraph，简称DAG)对表达式中的每个子表达式，DAG中都有一个结点一个内部结点代表一个操作符，它的孩子代表操作数在一个DAG中代表公共子表达式的结点具有多个父结点第38页，共74页，星期日，2025年，2月5日a:=b*(-c)+b*(-c)的图表示法assigna+*buminuscDAGassigna+*buminusc抽象语法树*buminusc后缀式是抽象语法树的线性表示形式：abc-*bc-*+:=第39页，共74页，星期日，2025年，2月5日抽象语法树对应的代码：T1:=-c T2:=b*T1 T3:=-c T4:=b*T3 T5:=T2+T4 a:=T5assigna+*buminusc