【编译原理--复习】

知识点整理

第一章

在这里插入图片描述
同时伴有表格管理、出错处理

1、词法分析
任务：对构成源程序的字符串进行扫描和分解，识别出单词(如标识符等)符号
输入：源程序
输出：单词符号序列

2、语法分析
任务：根据语言的语法规则对单词符号串(符号序列)进行语法分析，识别出各类语法短语(可表示成语法树的语法单位)，判断输入串在语法上是否正确
输入：单词序列
输出：语法分析后的单词序列

3、语义分析
任务：按语义规则对语法分析器归约出的语法单位进行语义分析，审查有无语义错误，为代码生成阶段收集类型信息，并进行类型审查和违背语言规范的报错处理

4、中间代码生成
任务：将语义分析得到的源程序变成一种结构简单，含义明确，容易生成，容易译成目标代码的内在代码形式
常用的中间代码形式是四元式(算符，运算对象1，运算对象2，结果)

5、代码优化
任务：对中间代码或目标代码进行变换改造等优化处理，使生成的代码更高效

6、目标代码生成
任务：将语义分析结果或中间代码生成特定机器上的绝对或可重定位的指令代码或汇编指令代码

编译程序必须有词法分析、语法分析、语义分析、代码生成，中间代码生成和代码优化不要求有。
任何一个编译程序都必须有目标代码生成部分。
编译程序绝大多数时间花在(表格管理)。
LEX是用于词法分析的工具，YACC是用于语法分析的工具。
多遍扫描第一遍扫描的是源程序，其它各遍扫描的是前一阶段的加工结果，即某种形式的中间代码。
代码优化不能提高编译程序自身的运行速度，但可使目标代码质量高。
无符号常数的识别和拼数工作通常在(词法分析)阶段完成。
编译程序是对(高级语言的翻译)。
解释程序和编译程序的区别在于（是否生成目标代码）
编译程序的工作过程一般可包括词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成基本阶段，同时还伴有表格管理和出错处理。
一遍扫描的编译程序的优点是(编译速度快)。
将编译程序分成若干个“遍”是为了(使程序的结构更加清晰)。
无符号常数的识别和拼数工作通常在(词法分析)阶段完成
“运算符与运算对象类型不匹配”属于(语义错误)。
编译程序是一种(系统)软件。
绝大多数程序设计语言是上下文有关语言。
语法树描述的是句型。

第二章

1、语言概述

1、语言是由句子组成的集合，是由一组符号构成的集合
2、程序设计语言——所有该语言的程序的全体

语法——表示构成语言句子的各个记号之间的组合规律
语义——表示各个记号的特定含义。(各个记号和记号所表示的对象之间的关系）
语用——表示在各个记号所出现的行为中，它们的来源、使用和影响
文法是一些规则的有限集合，它是以有穷规则集来刻划无穷句子集合的工具
BNF是一种广泛采用的( 描述文法)工具。

2、文法及产生式

产生式——设VN ,VT 分别是非空有限的非终结符号集和终结符集。V = VN ∪ VT ,VN ∩ VT = ∅ 。所谓产生式是一个序偶对(α ,β)，其中 α ∈ V+，β ∈ V*，通常表示为：α → β 或 α ::= β，产生式也叫规则、重写规则、生成式。

文法 G 是一个四元组，G = (VN，VT，P，S)。其中，VN，VT 分别是非空有限的非终结符集和终结符集，且 VN ∩ VT = ∅；P为产生式集；S ∈ VN 为文法的开始符号(或识别符)，它是一个非终结符，至少要在一条规则中作为左部出现。

3、文法分类

0型(短语文法，图灵机)：

产生式形如： α → β
其中：α ∈ ( V T ∪ V N ) ∗且至少含有一个非终结符；β ∈ ( V T ∪ V N ) ∗
α、β都是由终结符和非终结符组成的任意串，但α含有一个非终结符（全是终结符就没法定义了）

2型文法（上下文无关文法是0型文法的一个特例）

1型(上下文有关文法，线性界限自动机)：

产生式形如： α → β
其中：α ∈ ( V T ∪ V N ) ∗ α∈ (V_T∪V_N)^*α∈(V T∪V N) ∗
且至少含有一个非终结符；β ∈ ( V T ∪ V S ) ∗

∣ α ∣ ≤ ∣ β ∣ ，仅 S → ε 例外。

左边一定比右边短

2型(上下文无关文法，非确定下推自动机)：

产生式形如： A → β A → βA→β
其中：A ∈ V N ； β ∈ ( V T ∪ V N ) ∗ A∈ V_N；β∈ (V_T ∪ V_N)^*A∈VN；β∈(V T∪V N) ∗

左边是一个非终结符，右边是终结符非终结符组成的任意串。

二义性文法是上下文无关文法。

3型(正规文法，有限自动机)：

右线性文法
产生式形如： A → α B 或 A → α A → αB 或 A → αA→αB或A→α
其中： α ∈ V T ∗ ； A ， B ∈ V N α∈ V_T^*；A，B∈V_Nα∈V T∗；A，B∈V N

右边要么没有非终结符
如果有非终结符的话，只能出现在最右边。

左线性文法
产生式形如： A → B α 或 A → α A → Bα 或 A → αA→Bα或A→α
其中： α ∈ V T ∗ ； A ， B ∈ V N α∈ V_T^*；A，B∈V_Nα∈V T∗ ；A，B∈V N

右边要么没有非终结符
非终结符要出现，只能在定义式的最左边。

在这里插入图片描述

4、上下文无关文法与语法树

语法树也称推导树，给定文法G=(VN,VT,P,S)，对于文法 G 的任意一个句型都存在一个相应的语法树，它满足:

① 树中每一个结点都有一个标记，此标记是 V = VN ∪ VT 中的一个符号
② 根的标记是S
③ 若树的一结点 A 至少有一个子孙，则 A ∈ VN
④ 如结点 A 的子孙结点从左到右次序为 B1，B2 …… Bn，则必有产生式 A → B1B2…Bn
同一语法树可以表示对同一句型不同的推导过程
如果每一步 α → β 中，都是对 α 中最左(右)非终结符进行替换，则称之为最左(右)推导。最右推导称为规范推导，由规范推导所得的句型称为规范句型
同一语法树最多对应唯一的最左(右)推导
一个句型有可能对应着不同的语法树
如果一个文法存在某个句子对应着两棵不同的语法树，则称此文法是二义的
不存在算法判断一个 2 型文法是否是二义的
实际应用中，常找出一组无二义性的充分条件来构造无二义性文法

5、句型的分析

句型的分析就是识别一个符号串是否为某文法的一个句型
分析算法分为两大类：自顶向下分析和自底向上分析

自顶向下分析：由根向下逐步建立语法树，是一个逐步推导的过程
自底向上分析：自底向上构造语法树，是一个逐步规约的过程

名称	概念
短语	在语法树中表示所有分支结点对应子树，短语即子树叶子对应的符号
直接短语	在语法树中表示为该短语只有上下相邻父子两代
句柄	句柄表示最左直接短语
素短语	是指一个短语至少包含一个终结符，并且除它自身之外不再包含其他素短语
最左素短语	最左素短语就是句型最左边的素短语，是算符优先分析法的规约对象。语法树：通过语法树分析时，要注意先判断是否为素短语，再找相对最左端的素短语。

例题1：求短语，直接短语，句柄
给定句型：

FF↑a

给定文法：

G[T]:
T → T*F|F
F → F↑P|P
P → (T)|i

解析：
推导步骤为：

T ⇒ TF*
⇒ TFF
⇒ TF↑*\F*
⇒ TF↑a

画出语法树为：
在这里插入图片描述

第三章

1、词法分析程序的设计

1、词法分析程序的输出
在这里插入图片描述
2、词法分析程序中如何识别单词

2、单词的形式化描述工具

在这里插入图片描述

1、正规文法

在这里插入图片描述

2、正规式

在这里插入图片描述

对给定的字母表∑ ∑∑
1)ε εε和Ф ФФ都是∑ ∑∑上的正规式，它们所表示的正规集为{ε εε}和Ф ФФ;
2) 任何a ∈ ∑ a∈ ∑a∈∑，a是∑ ∑∑上的正规式，它所表示的正规集为{a} ;
3) 假定e1和e2都是∑ ∑∑上的正规式，它们所表示的正规集为L(e1)和L(e2)，则

i) (e1|e2)为正规式，它所表示的正规集为L(e1)∪L(e2)，（两个正规集的并还是正规集）
ii) (e1.e2)为正规式，它所表示的正规集为L(e1)L(e2)，（两个正规集的连接还是正规集）
iii) ( e 1 ) ∗ (e1)^(e1) ∗为正规式，它所表示的正规集为( L ( e 1 ) ) ∗ (L(e1))^(L(e1)) ∗，（一个正规集的闭包还是正规集）