okyAAA语法制导翻译和中间代码生成.ppt

《okyAAA语法制导翻译和中间代码生成.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第8章语法制导翻译和中间代码生成经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着要对源程序进行静态语义检查和翻译。语义检查：类型检查、控制流检查、一致性检查等。翻译：源程序→中间代码1本章主要内容1.属性文法2.语法制导翻译概念3.中间代码的几种形式4.几个语句的翻译：如赋值语句、条件语句等。2语法制导翻译的引例E→E+T{print”1”}E→T{print”2”}T→T*F{print”3”}T→F{print”4”}F→(E){print”5”}F→i{print”6”}在文法的每个产生式

2、后配了一个有{}括起来的语义子程序。3对(i+i)*i的翻译不难证明该符号串是文法的合法句子。按照这个句子向文法开始符号E的归约次序，且每当归约时调用该句柄的产生式所对应的语义子程序，便可得到相应的数字串：64264154632。这个例子表明：输入源程序为(i+i)*i，输出为数字串。这是一种变换，而变换的规则是每当归约时调用相应的语义子程序。无疑这个例子是翻译的一个十分简单的模型。4翻译要解决的问题1.翻译成什么样的代码？2.什么时候实现这种变换(翻译)？3.如何实现这种翻译？5翻译成什么样的代码按照相应语义规则产生一种

3、介于源语言与目标代码之间的一种代码(中间代码)，它不依赖于机器但又便于产生依赖于机器的目标代码。中间代码可用多种方式表示，常见的有：逆波兰表示法、树形表示法、三元式、四元式等。6什么时候实现这种变换(翻译)直观来说，就是为每个产生式配上一个翻译子程序(语义子程序)，并且在语法分析的同时执行这些子程序。具体来说，就是一边分析，一边翻译，语法分析完成，翻译也就完成了。语法制导翻译法对自上而下分析或自下而上分析都适用。语法制导翻译方法是比较接近于形式化的翻译方法。7如何实现这种翻译至此不难明白，语法制导翻译的关键是为每个产生式写

4、相应的语义子程序。例子中的print产生式序号这种语义子程序是为了输出数字串而写的语义子程序。所以一个语义子程序描述了一个产生式对应的翻译工作。这些工作有：改变编译程序某些变量的值、查填各种符号表、发现并报告源程序错误、产生中间代码。8语义子程序的一般形式语义子程序写在该产生式后面的花括号内：(1)X…{语义子程序1}(2)Y…{语义子程序2}(3)AXY{语义子程序3}9属性文法与语法制导翻译的关系对于某个压缩了的文法，当把每个文法符号和一组属性相关联，并把产生式附加以语义规则的时候，就得到属性文法。语法制导的翻译

5、过程：由于属性文法的规则和产生式是一一对应的关系。所以，由属性文法确定的语义分析可以在语法分析的过程中进行。这个过程成为语法制导的翻译。10属性文法属性文法是一个三元组:A=(G,V,F),其中G:是一个上下文无关文法。V:属性的有穷集,每个属性与文法的一个终结符或非终结符相连,这些属性代表与文法符号相关信息，如它的类型、值、代码序列、符号表内容等等.属性与变量一样，可以进行计算和传递。11属性文法F:关于属性的属性断言或一组属性的计算规则(称为语义规则)。断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或

6、非终结符相联的属性。12属性文法的例子语义规则LEEE1+TETTT1*FTFF(E)FdigitPrint(E.val)E.val:=E1.val+T.valE.val:=T.valT.val:=T1.valF.valT.val:=F.valF.val:=E.valF.val:=digit.lexval产生式简单算术表达式求值的语义描述13设表达式为3＊5+4，则语义动作打印数值19.LE.val=19E.val=15T.val=4T.val=15F.val=4T.val=3F.val=3F.val=5digit.le

7、xval=4digit.lexval=5digit.lexval=3+*3*5+4的带注释的分析树14中间代码的形式1.逆波兰式2.三元式、间接三元式和树形表示3.四元式15表达式的表示方法1.中缀表达式(一般表达式)：运算符放在运算量之间。A+BA*B2.前缀表达式(波兰表达式)：运算符放在运算量前面。+AB*AB3.后缀表达式(逆波兰表达式)：运算符放在运算量后面。AB+AB*16上述三种方法的比较三种方法的共同点：1.运算量个数不变，顺序也不变。2.运算符个数不变。逆波兰式的优点：1.是一个无括号表达式。2.逆波兰式

8、的运算符出现的顺序就是原表达式的运算顺序，因而计算方便。17举例1.(a*b+c)*d+b*(a+d*c)ab*c+d*badc*+*+2.赋值语句的后缀式A：=B+CABC+：=18三元式组成:算符OP，第一运算量ARG1，第二运算量ARG2如：a:=b*c+b*d的三元式为：(1)(*,b,c)(2