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

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

1、1第四章语法制导翻译生成中间代码语法制导翻译是处理语义的基本方法，它以语法分析为基础，在语法分析得到语言结构的结果时，对附着于此结构的语义进行处理，如计算表达式的值、生成中间代码等。与语法分析部分的讨论不同，本章的内容更注重于实际方法的讨论。主要内容包括：语法制导翻译的基本概念中间代码简介符号表简介典型声明语句与可执行语句的翻译上机：DBMS的设计与实现—SQL的执行24.1语法制导翻译简介语法与语义语法与语义的关系语法是指语言的结构、即语言的“样子”；语义是指附着于语言结构上的实际含意，即语言的“意义”。语义不能离开语法独立存在；语义远比语法复杂；同一语言结构

2、可包含多种含意，不同语言结构可表示相同含意；语法与语义之间没有明确的界线。[例1]猫吃老鼠与老鼠吃猫，晒被子与晒太阳[例2]程序设计语言中的分情况结构34.1语法制导翻译简介caseconditioniscase1:stat1;case2:stat2;...endcase;语义分析的两个作用检查是否结构正确的句子所表示的意思也合法；执行规定的语义动作，如：表达式求值符号表填写中间代码生成等语义分析的方法语法制导翻译switch(condition){casecondition1:stat1;casecondition2:stat2;...}break;break

3、;44.1语法制导翻译简介属性与语义规则语法制导翻译的基本思想通俗地讲，以语法分析为基础，伴随语法分析的各个步骤，执行相应的语义动作。具体方法：将文法符号所代表的语言结构的意思，用附着于该文法符号的属性表示；用语义规则规定产生式所代表的语言结构之间的关系（即属性之间的关系），即用语义规则实现属性计算。语义规则的执行：在语法分析的适当时刻（如推导或归约）执行附着在对应产生式上的语义规则，以实现对语言结构语义的处理，如计算、查填符号表、生成中间代码、发布出错信息等。54.1语法制导翻译简介属性的抽象表示.attr如：E.val（值），E.type（类型），E.cod

4、e（代码序列），E.place（存储空间）对文法的约定只关注语法分析基础上的语义处理，忽略语法分析。为了简单，讨论的文法一般为二义文法。默认解决二义的方法是规定常规意义下的优先级和结合性。属性的定义定义4.1对于产生式A→α，其中α是由文法符号X1X2...Xn组成的序列，它的语义规则可以表示为(4.1)所示关于属性的函数：b:=f(c1,c2,...,ck)(4.1)64.1语法制导翻译简介b:=f(c1,c2,...,ck)(4.1)语义规则中的属性存在下述性质与关系。若b是A的属性，c1,c2,...,ck是α中文法符号的属性，或者A的其它属性，则称b是A

5、的综合属性。若b是α中某文法符号Xi的属性，c1,c2,...,ck是A的属性，或者是α中其它文法符号的属性，则称b是Xi的继承属性。称(4.1)中属性b依赖于属性c1,c2,...,ck。若语义规则的形式如下述(4.2)，则可将其想像为产生式左部文法符号A的一个虚拟属性。属性之间的依赖关系，在虚拟属性上依然存在。f(c1,c2,...,ck)(4.2)(4.1)中属性之间的依赖关系，实质上反映了属性计算的先后次序，即所有属性ci被计算之后才能计算属性b。74.1语法制导翻译简介语义规则的两种形式语法制导定义用抽象属性和运算符号表示的语义规则(公式，做什么)翻译

6、方案用具体属性和运算表示的语义规则（程序段，如何做）语义规则也被习惯上称为语义动作。忽略实现细节，二者作用等价。语法制导定义适用于设计阶段，翻译方案适用于实现阶段。84.1语法制导翻译简介[例4.1]将中缀形式的算术表达式转换为后缀表示。其语法制导定义和翻译方案可分别表示如下。其中print(E.post)是L的虚拟属性，可以想象为L.p:=print(E.post)。翻译方案中的.lexval表示词法分析返回的记号num的值。产生式语法制导定义翻译方案1翻译方案2L→Eprint(E.post)print_post(post);E→E1+E2E.post:=E

7、1.post

8、

9、E2.post

10、

11、'+';post(k):='+';k:=k+1;print(+);E→numE.post:=num.lexval;post(k):=lexval;k:=k+1;print(lexval);语法制导定义：算法翻译方案：程序实现，方法不唯一94.1语法制导翻译简介翻译方案中需要考虑的问题：采用什么样的语法分析方法，不同的分析方法对语义处理的次序不同；为属性分配存储空间；考虑计算次序。翻译方案1，自下而上计算，LR分析。以3+5+8为例，归约时翻译。产生式翻译方案1L→Eprint_post(post);E→E1+E2post(k):

12、='+';k:=k+1;