第8章语法制导与中间代码生成报告.ppt

属性文法，语法制导翻译 属性文法A(attribute grammar)是一个三元组:A=(G,V,F),其中 G:是一个上下文无关文法, V:有穷的属性集,每个属性与文法的一终结符或非终结符相连, F:关于属性的属性断言或谓词集.每个断言与一个产生式相联.而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性 例如：定义表达式的文法如下： E?E+E E?(E)E?n 给出定义表达式值的属性文法。 我们为文法符号E引进属性符号val,用E.val表示E的值，属性计算规则以赋值语句的形式给出，附在每个产生式后，并用大括号括起来。为了明确E的不同出现位置，用上角标区别。终结符n的值是词法分析程序提供的，这里用n.lex表示。下面给出属性文法： E?E1+E2 {E.val := E1.val +E2.val} E?(E1) {E.val := E1.val } E?n {E.val := n.lex} 属性文法的主要思想有两点： 首先对于每个文法符号引进相关的属性符号； 其次对于每个产生式写出属性值计算的规则。 属性文法:允许为每个终结符和非终结符配备一些属性的文法.它既能描述程序设计语言的语法,又为其语义描述提供了手段. 属性文法由D.E.Knuth于1968年引进.后来才被用于编译程序的设计。 属性有不同的类型,可以象变量一样地被赋值。赋值规则附加于语法规则之上。赋值与语法同时进行,赋值过程就是语义处理过程。在推导语法树的时候，诸属性的值被计算并通过赋值规则层层传递。有的从语法规则左边向右边传,有的从右边向左边传。语法推导树最后完成时,就得到开始符号的属性值。也就是整个程序的语义. 属性分为两种:继承属性和综合属性. inherited and synthesized(derived)attribute 继承属性的计算规则由顶向下, 综合属性的计算规则由底向上. 例如定义表达式值的属性文法， E.val是一个综合属性的例子： E?E1+E2 {E.val := E1.val +E2.val} E?(E1) {E.val := E1.val } E?n {E.val := n.lex} 考虑句子2＋（3＋1）的求值顺序，将2＋（3＋1）的语法树结点改为有附加属性的结点（这样的树称为带注释的语法树）： E.val=6 E.val=2 + E.val=4 n.lex=2 ( E.val=4 ) E.val=3 + E.val=1 n.lex=3 n.lex=1 例8.1 一个简单台式计算器的定义 综合属性val 3*5+6的带注释的分析树 只使用综合属性. 继承属性 一个结点的继承属性值是由此结点的父结点和/或兄弟结点的某些属性来决定的。 例8.2 添加标识符类型的语义描述： 继承属性type 中间代码 概述 何谓中间代码( Intermediate code) (Intermediate representation) (Intermediate language) 是源程序的一种内部表示 复杂性介于源语言和目标机语言之间 中间代码的作用： 使编译程序的逻辑结构更加简单明确 利于进行与目标机无关的优化 利于在不同目标机上实现同一种语言 中间代码的形式： 逆波兰式、四元式、三元式、间接三元式、树 中间代码的层次 中间代码按照其与高级语言和机器语言的接近程度，可以分成以下三个层次： 高级：最接近高级语言，保留了大部分源语言的结构。 中级：介于二者之间，与源语言和机器语言都有一定差异。 低级：最接近机器语言，能够反映目标机的系统结构，因而经常