第八章符号表 一、符号表: 将名字映射到编译器已知的有关信息的一个字典。 二、符号表的作用: 一致性检查和作用域分析; 辅助代码生成

编译程序必须为源程序中所出现的量(常量,变量及数组 等等)分配运行时的存储空间. 分配方案选择的是否得当将关系到资源的合理使用,从 而会影响到程序的运行效率. 存储分配的策略有静态分配与动态分配两类. 静态分配适合于无动态申请内存,无可变长数组,无递归 调用的程序.如FORTRAN,BASIC等

错误种类 词法错误:在词法分析阶段就可以发现的错误。 语法错误:程序的书写不符合语法规则。 语义错误:静态语义错误:编译程序可以发现

词法分析器从输入串中识别单词，编译程序对源程序的分析由此开始。单词构词规则可由状态转换图表示，手工编程实现这些状态转换图，便可产生高效的词法分析器。构词规则也可由正规式表示，据此转换成识别单词的有限自动机，这就得到了识别单词的状态转换图。软件工具Lex能实现这种转换

第1章预备知识第2章编译程序概述第3章文法和语言的形式定义第4章词法分析与有穷自动机第5章自上而下语法分析第6章自下而上语法分析第7章语法制导翻译第8章符号表第9章运行阶段的存储组织与分配第10章代码优化第11章代码生成第12章错误的检测与处理第13章综合题

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程,编译程序必须报告不符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到合法的地方。 (3)一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析

引言和预备知识 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明

练习参考答案 第1题 (1)允许0开头的偶正整数集合的文法 E->NTID T->NTID N->D|13579 D->024618 (2)不允许0开头的偶正整数集合的文法 T->FTIG N->D|13579 D->2|468 F->N0 G->D|0

第八章语法制导翻译和中间代码生成 8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译

TAC Three address code Three-address code (TAC) will be the intermediate representation used in our Decaf compiler. It is essentially a generic assembly language that falls in the lower-end of the mid-level IRs. Many compilers use an IR similar to TAC. It is a sequence of instructions, each of which can have at most three operands. The operands could be