四元式优化.pdf

发布时间：2022-06-15 发布人：admin 分类：说明书资料大小：0.56M 资料格式：pdf 举报版权申诉

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第1页.png

第1页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第2页.png

第2页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第3页.png

第3页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第4页.png

第4页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第5页.png

第5页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第6页.png

第6页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第7页.png

第7页 / 共101页

b4d64884-c18d-4f6e-9ab2-c7d1619f98ad.pdf-第8页.png

第8页 / 共101页

文本预览

符号表管理 S.P 词法分析程序语法分析程序语义分析、生成中间代码代码优化生成目标程序 O.P 错误处理

第八章语法制导翻译和中间代码生成学习目标： v 掌握：常见语法成分的中间代码形式；常见语法成分的属性文法或翻译方案 v 理解：属性文法、语法制导翻译方法

语义分析的任务根据语义规则对识别出的各种语法成分析其含义，进行初步翻译，生成相应的中间代码或直接生成目标代码。（1）确定数据类型（2）语义检查　　　动态语义检查：在运行时刻进行　　静态语义检查：在编译时完成（3）识别含义，进行真正的翻译

静态语义检查 ①类型检查。 ②控制流检查，确保控制语句有合法的转向点。例如，C语言中的break语句使控制跳离包括该语句的最小的switch，while或for语句。如果不存在包括它的这样的语句，则应报错。

静态语义检查 ③一致性检查。很多情况下要求对象只能被定义一次。例如，Ｃ语言中规定一个标识符在同一作用域中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等。 ④相关名字检查。有的语言中有时规定，同一名字必须出现两次或多次。例如，Ada语言中，循环或程序块可以有一个名字，它出现在这些结构的开头和结尾，如同语句括号一般，编译程序必须检查它们的配对情况。

语法制导的翻译将静态语义检查和中间代码生成结合到语法分析中进行的技术称为语法制导翻译技术(syntax- directed translation) 语法制导翻译方法使用属性文法为工具来说明程序设计语言的语义。语法制导翻译的基本思想是先给文法中的每个产生式添加一个成分，这个成分常称为语义动作或翻译子程序，在执行语法分析的同时，执行相应产生式的语义动作。

第八章语法制导翻译和中间代码生成 8.1 属性文法 8.2 语法制导翻译概论 8.3 中间代码形式 8.4 基本语言成分的自下而上语法制导翻译 8.5 自上而下的语法制导翻译

8.1 属性文法(Attribute Grammar) 属性对文法的每一个符号，引进一些属性，这些属性代表与文法符号相关的信息，如类型、值、存储位置等。语义规则为文法的每一个产生式配备的计算属性的计算规则，称为语义规则。属性文法是带属性的一种文法它的主要思想： Ø 首先对于每个文法符号引进相关的属性符号； Ø 其次对于每个产生式写出计算属性值的语义规则

分享到：

赞收藏

资料库

四元式优化.pdf

相关推荐

后端

热门标签

最新资料