第一章 编译器介绍 ◼ 1.1 编译器概貌 ◼ 1.2 源程序分析 ◼ 1.3 编译器的阶段 ◼ 1.4 编译器的同胞 ◼ 1.5 阶段的组合 ◼ 1.6 编译器构造工具 Chapter2-2 语言的形式化定义基础 Chapter2-2 语言的形式化定义基础（4类语言识别方法） Chapter3.1 词法分析 Chapter3.2 词法分析 Chapter3.3 有限状态机 形式化定义 NFA确定化 DFA最小化 Chapter3.4 正规表达式与正规集 Chapter4 语法分析和语法分析程序 Chapter4.1 自顶向下的语法分析 Chapter4.1.3 递归下降分析法 Chapter4.2.4 LR分析方法

结构化查询语言（StructuredQuery Language）。这种语言的语法结构类似于英语，易学易用，书写随意。[例如前面第一章讲过的例子]

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性，不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句

1. 优选论(OT) 2. OT语法的建构 3. 举例：荷兰语中韵尾清音化 4. 英语名词复数 5. 英语规则动词过去式 6. 清音化 7. Neutralization 8. Substitution 9. Complementary distribution 10. Correspondence 对应 11. 韵律词(PrWd) 12. 广义排列(Generalized Alignment) 13. 韵律边界的制约条件

C语言的特点，语言简捷、紧凑,使用方便、灵活 运算符丰富 数据结构丰富 具有结构化的控制语句，语法限制不太严格,程序设计自由度大，能实现较底层的功能。生成目标代码质量高,程序执行效率高，程序可移植性好

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

全方位硬件描述—从系统到电路 多种描述方式—适应层次化设计 数据类型丰富，语法严格清晰 串行和并行通用，物理过程清楚 与工艺结构无关，可用于各类EDA工具

一、C语言的产生与发展 二、C语言的特点 1.语言简洁、紧凑,使用方便。(只有32个关键字) 2.运算符丰富。(34种运算符) 3.数据结构丰富,具有现代化语言的各种数据结构。 4.具有结构化的控制语句。 5.语法限制不太严格,程序设计自由度大。 6.生成目标代码质量高,程序执行效率高。 7.用C语言写的程序可移植性好

对文法进行化简和改造 希望定义语言的文法尽可能简单 某些语法分析技术对文法有要求和限制：LL分析 要求文法无左递归；算符优先分析要求文法不含

6.1 存储器 6.1.1 ROM (Read-Only Memory) 6.1.2 随机存取存储器 (RAM) 6.2 可编程逻辑器件（PLD) 6.2.1 可编程阵列逻辑(PAL) 6.2.2 通用阵列逻辑(GAL) 6.2.3 PLD的开发过程 6.3 VHDL语言 6.3.1 VHDL基本结构与语法 6.3.1.1 VHDL的组成 6.3.1.2 实体（Entity) 6.3.1.3 结构体 (Architecture) 6.3.1.4 程序包 (Package) 与 USE 语句 6.3.1.5 库 (Library) 6.3.1.6 VHDL运算符 6.3.1.7 数据对象 6.3.1.8 VHDL常用语句 6.3.1.9 元件及元件例化 6.3.1.10 配置 (configuration) 6.3.1.11 子程序 6.3.1.12 其他：属性、时钟的表示 6.3.1.13 VHDL的模板 6.3.1.14 常见错误 6.3.1.15 保留字