8.1 航天器导航的概念与分类 8.2 航天器的自主导航系统 8.3 航天器的轨道机动与轨道保持 8.4 航天器的交会与对接 8.5 航天器的再入返回控制 8.6 星际飞行的导航与制导

何谓中间代码( Intermediate code) Intermediate representation Intermediate language 源程序的一种内部表示,不依赖目标机的结构,易于机械生成 目标代码的中间表示

1·飞行力学学科的定义 飞行力学学科的定义有不同的说法,最一般的说法是飞行力 学是研究飞行器运动规律的学科,是应用力学的一个新分支。它 是按照力学的基本原理结合具体对象一—飞行器来分析、研究在 有控制或无控制情况下飞行器运动特性的一门学科

6.1 属性文法 6.2 基于属性文法的的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-属性文法和自顶向下翻译 6.5 自下而上计算继承属性

1 • 引论 2 • 文法和语言 3 • 词法分析 4 • 自顶向下语法分析方法 5 • 自底向上优先分析 6 • LR分析 • 语法制导翻译和中间代码生成 7 8 • 符号表 • 目标程序运行时的存 储组织 9 10 • 代码优化和代码生成

编译程序设计时，除了需用到前介绍的分析技术和制导 翻译技术外，还要考虑如何从源程序数据空间映射到具体物 理存储空间，也就是运行时的数据表示。在运行时如何组织 或存放数据、在源程序中同名标识符是怎样描述不同的对象、 运行时的程序控制权是如何转移和参数是如何传递的以及如 何生成质量较高的目标代码都是编译程序设计者需考虑的问 题

• 1. 引论 (易) • 3. 词法分析 (难) • 4. 语法分析 (难) • 5. 语法制导的翻译技术 (中) • 6. 中间代码生成 (难) • 7. 运行时刻环境 (易) • 8. 代码生成 (中) • 9. 机器无关优化 (中)

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

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

• 使用上下文无关文法引导语言的翻译 – CFG的非终结符号代表了语言的某个构造 – 程序设计语言的构造由更小的构造组合而成 – 一个构造的语义可以由小构造的含义综合而来 • 比如：表达式x + y的类型由x、y的类型和运算符+决定 – 也可以从附近的构造继承而来 • 比如：声明int x中x的类型由它左边的类型表达式决定