编译原理考题里面的知识点

1、基本块的概念（P152）

局部优化是指对代码的每一个线性部分所进行的优化，使得在这个线性部分只存在一个入口和一个出口，而这个线性部分我们称之为基本块

所谓基本块，是指程序中一顺序执行的语句序列，其中只有一个入口和一个出口，入口就是该序列的第一个语句，出口就是该序列的最后一个语句。对一个基本块来说，执行时只能从其入口进入，从其出口退出。

例题：

2.程序的基本块是指（ D）。
A． 一个子程序 B． 一个仅有一个入口和一个出口的语句
C． 一个没有嵌套的程序段 D． 一组顺序执行的程序段，仅有一个入口和一个出口

局部优化是局限于一个基本块范围内的一种优化。

递归下降分析法（P47）

递归下降分析法是一种自顶向下的分析方法，文法的每个非终结符对应一个递归过程（函数）。分析过程就是从文法开始符出发执行一组递归过程（函数），这样向下推到直到推出句子；或者说从根结点出发自顶向下为输入串寻找一个最左匹配序列，建立一棵语法树。

例题

3. 高级语言编译程序常用的语法分析方法中，递归下降分析法属于（ B）分析方法。
   A． 自左向右 B． 自顶向下 C． 自底向上 D． 自右向左

文法（P35）

文法是一个四元组：G = {VT,VN,S,P}

其中VT是一个非空有限的符号集合，它的每个元素成为终结符号。VN也是一个非空有限的符号集合，它的每个元素称为非终结符号，并且VT∩VN=Φ。S∈VN，称为文法G的开始符号。P是一个非空有限集合，它的元素称为产生式。所谓产生式，其形式为α→β，α称为产生式的左部，β称为产生式的右部，符号“→”表示“定义为”，并且α、β∈(VT∪VN)*，α≠ε，即α、β是由终结符和非终结符组成的符号串。开始符S必须至少在某一产生式的左部出现一次。另外可以对形式α→β，α→γ的产生式缩写为α→β|γ，以方便书写。

下面这个看的清楚一点，但顺序和书上的不一样

例子

1. 一个上下文无关文法 G 包括四个组成部分：一组终结符，一组非终结符，**一个（C ），以及一组（B ）**。				

A． 字符串 B． 产生式 C． 开始符号 D． 文法

6． 一个文法所描述的语言是（ A）；描述一个语言的文法是（C ）。
A． 唯一的 B． 不唯一的 C． 可能唯一，也可能不唯一

文法符号的属性有综合属性和 （集成属性）。

编译的定义（P1）

编译程序通过它能够将高级语言编写的源程序转换成与之在逻辑上等价的低级语言形式的目标程序。

编译程序的过程，五个阶段：词法分析阶段，语法分析阶段，语义分析阶段和中间代码生成阶段，优化阶段，目标代码生成阶段

5．经过编译所得到的目标程序是（D ）。
A． 四元式序列 B． 间接三元式序列
C． 二元式序列 D． 机器语言程序或汇编语言程序

3. 编译程序的工作过程一般划分为 5 个阶段：词法分析、（4） 、语义分析与中间代码生成，代码优化及（5） 。另外还有（6）和出错处理。

4：语法分析
5：目标代码的生产
6：表格管理

动态存储分配（P191）

不同的编译程序关于数据空间的存储分配策略可能不同，但大部分编译中采用的方案有两
种：静态存储分配方案和动态存储分配方案，而后者又分为（栈式动态存储分配） 和 （堆式动态存储分配） 。

逆波兰式（后缀式）–P116

表达式 x+yz/(a+b)的后缀式为 （**xyzab+/+**） 。

数组元素的地址计算及中间代码形式

按行存放

按列存放

假设二位数组按行存放，而且每个元素占用一个存储单元，则数组 a[1…15,1…20]某个元素 a[i，j]的地址计算公式为（a+20(i-1)+j-1*）。

解析：因为每个元素占用一个存储单元，所以C=1
之后这个数组是从1开始算起的，所以我们就是20-1+1
而有多少i-1行，j-1-0+1,而本题是j-1-1+1=j-1;
但是我不懂前面的首地址是a，所以答案就是a+20(i-1)+j-1;

规范推导、规范规约（P41）

最右推导为规范推导。
规范推导的逆过程便是规范规约（最左规约）

2. 规范规约是最（左）规约。

算符优先分析法（P64）

算符优先分析法是一种简单且直观的自底向上分析方法，它特别适合与分析程序语言中的各类表达式，并且宜于手工实现

所谓算符优先分析，就是依照算术表达式的四则运算过程来进行语法分析，即这种分析方法要预先规定运算符（确切的说是终结符）之间的优化关系和结合性质，然后借助于这种关系来比较相邻运算符的优先级，以确定句型的“可规约串”来进行规约。因此，算符优先算法不是一种规范规约，在整个规约过程中起决定性作用的是相继两个终结符的优先关系。

例题

在通常的语法分析方法中，（算符优先分析法 ）特别适用于表达式的分析。

文法的二义性（P45）

文法G[S]的一个句子如果能找到两种不同的最左推导（或最右推导），或者存在两棵不同的语法树，则称这个句子是二义性的。一个文法如果包含二义性的句子，则这个文法是二义文法，否则是无二义文法。

例子

7． 如果在文法 G 中存在一个句子，当其满足下列条件（ BCD）之一时，则称该文法是二义文法。
A． 其最左推导和最右推导相同 B． 该句子有两个不同的最左推导
C． 该句子有两个不同的最右推导 D． 该句子有两棵不同的语法树
E． 该句子对应的语法树唯一

拉链–回填技术（P120）

下面（布尔表达式的计算、条件语句 、循环语句 ）语法制导翻译中，采用拉链—回填技术。