编译原理整理.docx

编译原理整理

填空题及简答题整理

第二部分

1.空串：不含任何符号的串,记为ε

2.句子：字母表上符合某种规则构成的串

3.语言是正闭包的子集

4.Chomsky文法的分类（4种），其中3型文法（RG）最为重要

5.文法四要素：

1）非终结符集VN2）终结符集VT3）产生式集P4）开始符S

6.文法的构造：L={ω|ω∈(a,b,c)+,且ω是回文}，构造L的文法

7.文法简化的思路—删除如下的产生式:

1）形如P→P的产生式

2）永远导不出终结符串的产生式

3）永远用不到的产生式

8.文法二义性的消除方式：1）改写文法2）添加限制条件

9.二义文法：对于同一个句子至少有两棵语法树

10.句柄：句型中的最左简单短语

第三部分

1.掌握正规文法、正规集、正规式的概念

2.有限自动机：

1)三种状态（一般态、初态、终态）

2)可能结果：1）接受输入串2）出错

3)表现形式：状态转换图、状态转换矩阵

3.NFA→DFA(NFA的确定化):子集法

4.两核心理论（关系定理）：

1)定理3：∑上的NFAM所能识别的语言L(M)可以用∑上的正规式Re来表示

-对∑上的NFAM，可构造一个正规式α，使得L(α)=L(M)

2)定理4：∑上任何正规式α，存在DFAM使得L(M)=L(α)

-即：由正规式α可以构造一个DFAM，使得L(M)＝L(α)

-构造步骤：Re=NFA=DFA

第四部分

1.语法分析方法分为两类：自上而下语法分析、自下而上语法分析。

2.自上而下分析法存在的两个问题：左递归、回溯。

3.自上而下分析法，例如：LL(1)分析法、递归下降分析法。

4.自下而上分析法存在问题：归约。

5.自下而上分析法，例如：LR分析法、优先分析法。

6.LL（1）文法（显示栈操作）应满足的条件：

对于任意A→α|β，都应满足

1)First(α)∩First(β)=Φ

2)若ε∈First(α)则Follow(A)∩First(β)=Φ

7.递归下降法的前提（隐式栈操作）：满足LL（1）文法的特点

第五部分

1.PDA归约时四种可能的动作：移进、归约、接受、出错。

2.最左素短语：素短语必须至少一个终结符，除此之外与句柄的含义一致。

即：句型最左边的素短语。

3.素短语：文法句型的素短语是这样的一个短语，它至少包含一个非终结符，并且除自身外不包含其他素短语。

第六部分

1.LR分析的效率比较：LR(0)slrlalrlr(1)p=

2.规范句型的活前缀：

在规范归约的句型中，不含有句柄以后任何符号的前缀称为活前缀

3.项目集内动作上的冲突：

移进-归约冲突、归约-归约冲突

一般情形：I:X→δ·bβ

A→α·

B→α·

4.消除冲突的前提：

1)b?First(A),b?First(B)

2)Follow(A)∩Follow(B)=Φ

5.搜索符：形如(A→α·β,a)的二元式称为LR（1）项目。其中，A→αβ是文法的一个产生式，a是终结符，称为搜索符

第七部分

1.生成中间代码的方法：1)属性文法制导翻译2)语法制导翻译

2.语法制导翻译的种类：自上而下语法制导翻译、自下而上语法制导翻译

3.常见的中间代码形式：三元式、四元式、后缀表示法、树型表示法

4.后缀表达式(逆波兰式)

5.目标代码形式（3种）：

1)绝对机器代码2)可重定位机器代码3)汇编代码

6.理解四个概念：1)真出口2)假出口3)真去向4)假去向

第九部分

1.优化的实质是：进行等价变换。

2.中间代码优化分类：局部优化、循环优化、

局部优化：a）合并已知量

b）删除公共子表达式

c）变量传递与无用赋值删除

循环优化：a）循环不变运算外提

b）降低运算强度（*----+）

c）变换循环控制变量并删除其自增赋值式。

3.基本块：单入口单出口的顺序语句序列

/slrlalrlr(1)