第8章语法制导翻译和中间代码(4学时)探究.pptVIP

第8章 语法制导翻译和中间代码;8.1 属性文法;静态语义分析：审查语法结构的静态语义 确定标识符的数据类型 类型检查和转换：检查运算对象的数据类型是否合法，必要时进行类型转换 一致性检查：一个对象只能被声明一次 作用域检查 控制流检查：控制语句转到合法的地方继续执行 翻译（若静态语义分析正确后才翻译） ;常用的语义分析方法——语法制导翻译 语法制导翻译： 首先，使用属性文法为工具，描述程序设计语言的语义规则。 在语法分析时，每应用一个产生式（推导或归约），同时完成该产生式上所附的语义规则描述的动作，从而完成语义处理。;用于描述语义规则的文法。 对文法的每个符号引入一些属性，这些属性代表与文法符号相关的信息，例如：类型、值、代码序列、符号表内容等。 属性值可以在语法分析过程中进行计算和传递。 属性的加工过程就是语义的处理过程。;属性文法的组成： 一个上下文无关文法 一系列语义规则（附在文法的每个产生式上） 属性文法的形式：三元组 A=(G,V,F) G:是一个上下文无关文法 V:有穷属性集,每个属性与文法的一个终结符或非终结符关联 F:关于属性的断言或谓词集.每个断言与一个产生式关联.而此断言只引用该产生式的终结符或非终结符相关联的属性;属性文法 举例;属性文法 举例;语法制导翻译的实质： 根据每个产生式所对应的语义规则，随语法分析的每一步（推导或归约），执行相应的语义动作。 语法制导翻译的过程： 对单词符号串进行语法分析，构造语法分析树； 然后根据需要构造属性依赖图，遍历语法树，并在语法树的各结点处按语义规则进行计算。;使用“依赖图”，从依赖图的拓扑排序中得到计算语义规则的顺序，再依照顺序对输入串进行语义分析。 依赖图 一个有向图，用于描述分析树中的属性和属性之间的相互依赖关系。 构造依赖图举例：参见P172 图8.4 属性计算方法 树遍历：事先建立语法树，（深度优先）遍历直至计算出所有属性值。 一遍扫描：在语法分析的同时计算属性值。;属性： 综合属性：可以在分析输入串的同时，自下而上地来计算。如：val 继承属性：一个结点的继承属性值是由此结点的父结点和（或）兄弟结点的某些属性来决定的。如：L.in 属性文法： S-属性文法：L-属性文法的一个特例 L-属性文法：例1就是一个L-属性文法 属性文法的计算：可以是普通意义上的数学运算，也可以是打印输出等动作。;S-属性文法：是L-属性文法的一个特例，只含有综合属性。例2是一个S-属性文法。 S-属性文法翻译器：可以借助LR分析器实现。 实现原理：LR分析器中增加一个栈（语义值栈）用来存放综合属性的值，进行归约的同时，栈中正在归约的产生式右部符号的综合属性值弹栈，并调用相应语义子程序进行相应计算（完成属性文法中的语义规则），产生的新值入语义值栈。 举例：参见P174 图8.7;L-属性文法：对于文法中的每个产生式A?X1X2…Xn，其每个语义规则中的每个属性要么是综合属性，要么是Xj(1≤j≤n)的一个继承属性且该继承属性仅依赖于：产生式中X1,X2,…Xj-1的属性和A的继承属性。 L-属性文法优点：允许一次遍历就计算出所有属性值。;L-属性文法翻译器：可以借助LL分析器实现。 实现原理：在自顶向下分析的过程中，每应用一个产生式进行推导，同时完成该产生式上属性文法的计算。 LL(1)分析方法的语义描述：语义动作不是附在产生式右部的末尾，而是嵌在两个符号之间。这样的语义描述称为翻译模式。 举例：P174 例8.3 例8.4;翻译模式：语义动作不是附在产生式右部的末尾，而是嵌在两个符号之间。 翻译模式是适合语法知道翻译的另一种描述形式。 翻译模式给出了使用语义规则进行计算的次序，可把某些实现细节表现出来。;何时将属性文法改写成翻译模式？ 消除左递归时，原属性文法将被改成翻译模式。 如何将属性文法改写成翻译模式？ 原文法：A?A1Y{A.a=g(A1.a,Y.y)} A?X {A.a=f(X.x)} 翻译模式：A?X{R.i=f(X.x)}R{A.a=R.s} R?Y{R1.i=g(R.i,Y.y)}R1 {R.s=R1.s} R?ε{R.s=R.i};L-属性文法中，如何实现自下而上计算继承属性？ 方法1：去掉翻译模式中嵌入在产生式中间的动作。 方法2：改变原文法或重新构造文法，用综合属性代替继承属性。 自学（P176,177）;8.3 中间代码的形式;逆波兰记号（后缀式）; 逆波兰记号的扩充用途;三元式和树形表示;四元式;8.4 简单赋值语句的翻译;8.4 简单赋值语句的翻译;S ?id := E{ P:=lookup (id.name) ; if P?nil then  emit( P,“:=”,E.place);