编译原理复习

第一章编译概述
1 编译程序的功能。

2 编译程序各阶段的主要任务。

3 解释程序与编译翻译的区别。

解释：不产生目标程序的翻译程序。

编译：会产生目标程序的翻译程序。

第二章文法和语言的基本知识1 文法的形式定义。

G＝（VN，VT，P，S）
2 文法与语言之间的相互转换
例：写出文法对应的语言。

•G[S]:S→AB
•A→aA|a 解：L={aibj | i,j≥1}
•B→bB|b
3 句型的短语、直接短语和句柄
(1)句柄－一个句型最左边的直接短语。

(2)会写出句型的短语、直接短语、句柄以及素短语。

例：G[E]：
E→E+T |E-T |T
T→T*F | T/F |F
F→(E) | i
写出文法句型T+T*F 的短语、直接短语、句柄和素短语。

4 文法的分类
(1)四类：0型、1型、2型、3型。

其中，2型文法也称为上下文无关文法;
3型文法也称为正规文法。

(2)会判断给出一个文法是那一型的文法。

第三章词法分析
1 正规式与正规文法之间的转换
例：有正规文法G[Z]：
Z→0A
A→0A|0B
B→1A|ε
给出该文法所对应的正规式。

解：相应的正规方程组为：
Z=0A (1)
A=0A+0B (2)
B=1A+ ε(3)
将(3)代入(2)，可得
A=0A+01A+0 (4)
由(4)得：
A=(0+01)A+0 (5)
由(5)得：
A=(0+01)*0 (6)
将(6)代入(1)，得
Z=0(0+01)*0
即所求正规式为0(0|01)*0。

2 正规式与自动机之间的转换。

例：
①试构造正规式a*b*的NFA。

①试构造正规式a*b*的NFA，并确定化，用状态图表示。

解
(1)NFA：
3 文法去掉ε规则的等价变换。

例：将下述文法去掉ε规则。

G[S]：S →aA
A→aA | dA |ε
解：该文法去掉ε规则，改写为：
G[S]:
S →aA | a
A →aA | dA | a | d
第四章语法分析
1 语法分析方法的分类。

2 预测分析法
(1)预测分析法属于自上而下的语法分析方法。

(2)非LL(1)文法的改造－消除左递归和提公共左因子。

例：
消除文法的直接左递归，并提取公共左因子。

S→SaP|Sf|P
P→QbP|Q
Q→cSd|e
解：改写后的文法为：
S→PS’
S’→aPS’|fS’|ε
P →QP’
P’→bP| ε
Q →cSd|e
(3) 构造文法的预测分析表。

例：文法G[S]：
S→(L)|aS|a
L→L,S|S
(a) 消除文法的左递归，并提取公共左因子;
(b) 计算改写后文法每个非终结符的FIRST集和FOLLOW集;
(c) 构造它的预测分析表。

解: (a) 改写后的文法为：
S→(L)|aS’
S’→S|ε
L →SL’
L’→,SL’|ε
（b）
3 算符优先分析法
(1)算符优先分析法，当栈顶出现最左素短语时进行归约。

(2)会写出句型的素短语和最左素短语。

第五章语义分析和中间代码生成
1 综合属性和继承属性的区别。

综合属性用于自下而上的传递信息;
继承属性用于自上而下的传递信息。

2 会写出表达式的逆波兰式。

例：写出算术表达式a↑c *－(b+d)的逆波兰式。

逆波兰式为：ac↑bd+@*
3 会构造标注语义值的语法树。

例：属性文法如下：
(1)S’→E {print E.val}
(2)E →E(1)+E(2) {E.val=E(1).val+ E(2).val}
(3)E →E(1)*E(2) {E.val=E(1).val* E(2).val}
(4)E →(E(1)) {E.val=E(1).val}
(5)E →n {E.val=n.LEXV AL}
如采用LR分析法，给出表达式2*(8+5*4)的语法树并在各结点注明语义值V AL.
解语法树如图：
4 三种基本句型翻译成四元式。

例①while (a>b) do
if c>d then Y=Y-1;
翻译成四元式。

(假设四元式序列由100开始)
解可得四元式为：
(100) if a>b goto (102)
(101) goto (107)
(102) if c>d goto (104)
(103) goto (100)
(104) T1=Y-1
(105) Y=T1
(106) goto (100)
(107) …
4 三种基本句型翻译成四元式。

例：②while A<B do
if (T or E>F) then S=C-D;
翻译成四元式。

(假设四元式序列由100开始)
解可得四元式为：
(100) if A<B goto (102)
(101) goto (109)
(102) if T goto (106)
(103) goto (104)
(104) if E>F goto (106)
(105) goto (100)
(106) T1=C-D
(107) S=T1
(108) goto (100)
(109) …
第六章符号表的组织与管理1 符号表的建立和查找方式
线性表：顺序查找
二叉树：二分查找或折半查找
散列表：杂凑法。

第七章代码优化
1 程序优化的原则
等价原则
有效原则
合算原则
2 基本块的特点。

程序中一段顺序执行的语句序列。

3 局部优化中使用的优化技术。

删除公共子表达式
合并已知量
删除无用赋值
4 会构造程序段的程序流图。

②例：把以下程序段划分为基本块，并作出其程序流图。

int E,F
S=10
if E>F goto L1
S=S+C
halt
L1: C=E*F
if C>100 goto L2
halt
L2: S=S-1
goto L1
解程序流图为：。