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

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

经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着需作静态语义检查以及翻译，真正实现不同程序语言的代码间的等价变换

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

第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

第十二章代码生成 1、代码生成要考虑的主要问题 2、基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) 3、从dag生成代码

6.1 自下而上分析及其LR分析概述 6.2 LR (0) 分析 6.3 SLR(1) 分析 6.4 LR（1）分析 6.5 LALR分析 6.6 使用二义文法