计算机编译原理练习题剖析

编译原理练习题一一、选择题1. 下列文法中，不是产生语言 {ab n a∣n≥1} 的文法。

A．A→aBa B→b∣bB B．A→aB B→ba∣bBC．A→aB B→ba∣bBa D．A→aB B→bC C→bC∣a 2. 设有文法G[S]：S→aAB A→bAc∣ε B→bB∣Ae∣ε则经消去ε-产生式后与G等价的文法G1[S]为。

A．S→aA∣aB∣aAB∣a A→bc∣bAc B→bB∣Ae∣b∣eB．S→aAB A→bAc B→bB∣AeC．S→aA∣aB A→bc B→b∣eD．S→aA∣aB∣a A→bc∣bAc B→bB∣Ae∣b∣e3. 下列文法中，是LL(1)文法。

A．S→bBS′a S′→aBS′∣ε A→S∣a B→AcB．S→bS∣bA∣b A→aA∣aC．E→E+T∣T T→T*F∣F F→(E)∣iD．S→bBS′ S′→aBS′∣ε A→S∣a B→Ac4. 下列文法中，是简单优先文法。

A．E→E+T∣T T→T*F∣F F→(E)∣iB．S→A/ A→aA∣AS∣/C．E→E+E∣E*E∣(E)∣iD．E→E1 E1→E1+T1∣T1 T1→T T→T*F∣F F→(E)∣i5. 当扫视到数组说明进行语义处理时，必须把一个数组的如维数、各维的上、下界等记录下来。

为了便于引用，通常是把上述内容存放于数组相应的之中。

A．信息向量 B．内情向量 C．地址向量 D．指针向6. 设有文法G[S]： S→aS∣W∣U U→a V→bV∣ac W→aW则经化简后与G等价的文法G1[S]为。

A．S→aS∣W V→bV∣ac W→aWB．S→aS∣U U→aC．S→aS∣W∣U U→a W→aWD．S→aS V→bV∣ac7. 下列文法中，是LL（1）文法。

A．S→aS∣aA A→bA∣acB．S→AS∣b A→SA∣aC．E→E+E∣E*E∣(E)∣iD．S→aS∣bA A→bA∣ac8. 所谓相容，是指在一个项目集中，不出现这样的情况，和归约项目并存，或多个归约项目并存。

A．移进项目 B．基本项目 C．待约项目 D．后继项目9. 下列表示中，不是目前经常使用的中间语言的形式。

A．逆波兰式 B．四元式 C．五元式 D．树形表示10. 如果从流程图的首结点到流程图中某一结点n的所有通路都要经过结点d，我们就说结点d控制了结点n，或者把d称为n的必经结点，记作。

A．d DFA n B．d DOM n C．d DAG n D．d DAM n二、证明题1、试证明文法 S→aB∣bA A→aS∣bAA∣a B→aBB∣bS∣b 为二义性文法。

三、简答题对于如下文法，求各候选式的FIRST集和各非终结符号的FOLLOW集。

S→ACAB|bA|ε A→aAd|e B→bB|c C→cC|四、应用题1、对于如下的状态转换矩阵分别画出相应的状态转换图；（10分） (2) 写出相应的3型文法。

2、将如图所示的DFA最小化。

五、应用题1、设有文法G[E]：E→E+T|T T→T*F|F F→(E)|i2、试描述由文法：S→aAd A→aAd∣bBc B→bBc∣e 所产生的语言。

六、应用题1、设有文法G[S]： S→aABb A→Acd∣d B→Bce∣e(1) 将其改写为LL(1)文法；(2) 构造改写后文法的LL(1)分析表。

2、已知文法G[S]：S→aAB A→bA∣a B→cB∣b 的LR(0)项目集及状态转换图如下图所示，(1) 构造LR(0)分析表； (2) 给出对输入符号串abacb的LR分析过程。

七、简答题1、设有二维PASCAL数组A[1··10,1··20]，给出赋值语句 A[I,J]:=X+Y*Z 的四元式序列。

2、将逆波兰式： ABCD/-*EF*+ 改写为中缀式。

八、简答题1、设有如下的三地址码（四元式）序列：A:=5I:=1J:=2L1 : if I≤J goto L3X:=I*AL2 : I:=I-Jif I>J goto L2J:=J+1I:=Ngoto L1L3: X:=J*A试将它划分为基本块，并作控制流程图。

2、设有如下的三地址码（四元式）序列：I:=1read L,ML1 ： if I>10 goto L2A:=L*MB:=L*IC:=M*AD:=M+BI:=I+1goto L1L2 ： halt对其中的循环进行循环不变运算外提的优化。

编译原理练习题二一、选择题1. 文法 G 产生的的全体是该文法描述的语言。

A ．句型 B. 终结符集C. 非终结符集D. 句子2. 设M为一DFA，并设s 和t是M的两个不同状态。

如果s和t ，则称s和t等价。

A．不可区分 B．可划分C．可区分 D．待区分3. 下列说法中正确的是。

A. 所谓递归下降法，是指只能对具有左递归性的文法进行分析的一种语法分析方法。

B. 如果一个文法具有二义性，则它必然不是LL(1)文法。

C. 对于文法G，当进行自顶向下的语法分析时，不会出现回溯的主要条件是，对于G中的每个A∈V N，A产生式的所有不同候选式均能推导出以同一终结符号开始的符号串。

D. 对任意非LL(1)文法而言，通过消除左递归和反复提取左因子，都能将其改造为LL(1)文法。

4. 简单优先分析每次归约的是。

A. 最左直接短语B.直接短语C.最左素短语D.控制结点5. 下列表示中，是与f×(e+(a×d+c)/d)相应的逆波兰式。

A．fead×c+d/+× B．f×e+a×d+c/dC．fad×+c/d+e× D．ad×c+d/e+f×6．设G=(V N,V T,P,S)是一文法，我们说文法G中的一个符号X∈V N∪V T是有用的，是指X至少出现在的推导过程中，否则，就说X是无用的。

我们将不含形如A→A的产生式和不含无用符号及无用产生式的文法称为。

7．我们常采用形如 (class, value)的二元式作为一个单词的。

其中,class是一个整数，用来指示该单词的，value则是单词之值。

8．LL(1)分析表可用一个表示，它的每一行与文法的一个非终结符号相关联，而其每一列则与文法的一个终结符号或相关联。

9．若在一个文法G中，不含有形如的产生式，其中A,B∈V N，则称G为算符文法。

10．将每一运算符都置于其的表达式称为后缀表示，也称为逆波兰表示。

11．把流程图中具有如下性质的一组结点称为程序中的一个循环：(ⅰ) 在这组结点中，有惟一的，使得从循环外到循环内任何结点的所有通路，都必通过此结点；(ⅱ) 这一组结点是。

12．设G［S］是一个文法，我们把能由文法的推导出来的符号串α称为G的一个句型。

当句型α仅由组成时 (即α∈V T*)，则将它称为G 产生的句子。

13．从某一给定的状态q出发，仅经过若干条的矢线所能达到的状态所组成的集合称为ε-CLOSURE(q)。

14．所谓递归下降法，是指对文法的每一非终结符号，都根据相应产生式各候选式的结构，为其编写一个，用来识别该非终结符号所表示的。

15．在每一LR(0)项目［A→α·β］中放置一个 a ，使之成为［A→α·β,a］的形式，我们将此种项目称为一个。

16．所谓，就是对文法中的都附加一个语义动作或语义子程序，且在语法分析过程中，每当需要使用一个产生式进行推导或归约时，语法分析程序除执行相应的外，还要执行相应的语义动作或调用相应的语义子程序。

二、简答题1、消除文法: S→AbB∣A A→AB∣caB∣B B→Aa∣b 中的单产生式。

2、消除文法: S→ABb∣a A→aB∣caB∣ε B→aA∣b∣ε中的ε-产生式。

3、试构造一文法，使其描述语言： L(G)={ a n b m c m d n∣m,n≥1 }三、应用题1、设有文法G[S]： S→aBc∣bAB A→aAb∣b B→b∣ε(1) 构造该文法的LL(1)分析表； (2) 分析符号串baabbb是否为该文法的句子。

2、将如图所示的具有ε动作的NFA确定化：3、将如图所示的NFA确定化：四、简答题（1、对正规式((a∣b) *∣ab*)b ，构造与其相应的状态转换图。

2、设有文法G[Z]： Z→ZAc∣Ba A→Ab∣a B→Bd∣c ，将其改写为LL(1)文法。

3、消除文法: S→aAc A→Bb∣a B→Ad∣c 的左递归性。

五、应用题1、设有文法G′[E]：E→E1 E1→E1+T1|T1 T1→T T→T*F|F F→(E)|i其相应的简单优先矩阵如下图所示，试给出对符号串i+i进行简单优先分析的过程。

2、设有文法G[S]： S→ABAC A→aD B→b C→d D→c（1）构造此文法的LR(0)项目集及状态转换图；）（2）构造SLR(1)分析表。

3、设有文法G[S]： S→aAB A→bA∣a B→cB∣b（1）构造此文法的LR(0)项目集及状态转换图；（2）构造LR(0)分析表。

六、简答题1、将语句： IF a<b ∨ c<0 THEN b:=b+2 ELSE a:=a-2 翻译成四元式序列。

2、将语句： while A<C∧B>0 do C:=C+B*D翻译成四元式序列。

3、将中缀式 A+B*(C-D)/(E+F) 改写为逆波兰式。

七、应用题1、对于如右所示的基本块，若变量G,M A:=B+C在基本块出口之后被引用， D:=3(1) 构造相应的DAG；（5分） E:=6(2) 重建经优化后的四元式序列。

（5分） F:=D*EG:=B+CH:=A+DL:=H*FM:=L2、对于如下的程序，试对其中的循环进行削弱运算强度的优化。

3 3、对于如图所示的控制流程图：(1) 求出各个结点的必经结点集； (2) 求出各个回边，并找出流程图的全部循环。