• 一个简单的代码生成算法 – 涉及存储管理、指令选择、寄存器分配和计算次序选择等基本问题 • 通过一个完整的例子来介绍代码优化

– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

– 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 – 围绕词法分析器的自动生成展开 – 介绍正规式、状态转换图和有限自动机概念

• 伪操作 • 汇编语言语句格式 • 汇编语言程序格式 • 汇编编译器的使用 • 汇编程序设计举例

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《Java 程序设计》实训 《管理信息系统》 《管理信息系统实训》实践 《数据库原理 A》 《编译原理》 《软件工程概论 A》 《汇编语言与接口技术》 《汇编语言与接口技术》考查大纲 《汇编语言与接口技术》实践 《算法分析与设计》 专业课平台必修课 《C#程序设计》 《AspNet 程序设计 A》实践 《软件项目管理》 《软件工程专业毕业设计（论文）》 《软件工程》毕业实习 《UML 建模语言》 《软件设计与规范》 《UML 软件建模》 《软件设计模式》 《软件工程生产实习》 《软件验证与确认 A》 《软件验证与确认 A》课程实验 《单元测试与软件质量》 《软件工程综合实训 I》 《软件验证与确认 B》 《软件验证与确认 B》课程实验 《软件工程综合实训 II》 专业课平台选修课 《软件工程综合实训 III》 《软件测试技术与工具》 《软件测试技术与工具》课程实验 《单元测试实训》 《集成测试实训》 《软件测试设计与文档规范实训》 《搜索引擎》 《搜索引擎》课程实验 《JavaScript 与 Ajax 开发》实验 《Fortran 与科学计算》 《Java 软件开发实训》 《Oracle 高级数据库开发设计》 《安卓系统编程实训》 《工程数据库技术》 《工程数据库技术》课程实验 《计算方法》 《软件安全测试》 《软件安全测试》课程实验 《经典代码与文档阅读》 《软件安全》 《软件安全》课程实验 《软件部署与维护》 《计算机游戏基础》 《人机交互工程》 《人机交互工程》考查大纲 《网络软件开发技术》

一、自顶向下分析技术与识别算法 1.从推导的角度看,从识别符号出发,试图推导出与输入符号串相同的符号串。一般来讲,构造出的推导是最左推导。 2.从语法树的角度看,从根节点,试图向下一个语法树,其末端节点正好与输入符号串相同