§1.课程信息 §2.编译程序概述 §3.高级语言的语法描述 预备知识 上下文无关文法及其语言的形式定义 文法的等价性 语法树及文法二义性 文法的类型 语法分析的一些思考

一 简答题（60 分） 1． 编译程序按功能分为哪几个阶段？各个阶段的主要功能？ 六个阶段: 词法分析,语法分析,语义分析,中间代码生成,中间代码优化和目标代码生成

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

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

描述程序语言的语法结构，需借助于上下文无关文法。文法是描述程序语言的依据，也是编译的依据。识别上下文无关文法所生成的语言的方法是语法分析的关键。本章的目的是研究这些方法

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

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

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

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

语言处理工作起源于计算机软件设计者描述的在数据 集合上的算法与运行该数据集合上的算法的计算机系统的差 异。而早期的所用机器语言编制的程序不存在这种差异，因 而不需要语言处理程序。随着汇编语言的产生这种差异也随 之产生，程序设计者用符号指令代替目标机器指令来说明其 算法，这样程序设计者的符号描述和目标机器的运行产生了 差异，解决这种差异的就是第一种语言处理程序——汇编程