湖南大学《编译原理》考前复习资料典型例题

典型案例

1. 对于文法G[S] S →(L) S→aS S→a L →L,S L→S

(1) 画出句型 (S,(a)) 的语法树；

(2) 写出上述句型的所有短语、直接短语、句柄和素短语。 解答

这类题目重点考查语法树、推导、短语、直接短语、句柄和素短语等基本概念。在句型中寻找短语、直接短语、句柄的方法：

(1) 画出句型对应的语法树。句型 (S,(a)) 的语法树如下图所示

S ( L ) L , S S ( L ) S a

(2) 在该语法树中寻找短语、直接短语、句柄。首先我们看短语的定义：令G是一个文法，S是文法的开始符，假设α,β,δ是文法G的句型，如果有 S*?αAδ 且 A +?β 则称β是句型αβδ相对于非终结符A的短语。如果有 A?β，则称β是句型αβ δ相对于规则A→β的直接短语。一个句型的最左直接短语称为该句型的句柄。根据短语的定义可知，以非终结符A为根的子树的叶结点从左到右排列就是相对于非终结符A的短语；如果子树只有两代，则短语就是直接短语；最左边的两代子树的所有叶结点从左到右排列，就是该句型的句柄。素短语是一个短语，它至少包含一个终结符，且除自身外不再包含其他素短语。处于句型最左边的素短语为最左素短语。 从语法树中我们可以找到：

短语：a，S，(a)， S, (a)， (S, (a)) 直接短语：a，S

1

句柄：S 素短语：a

2. 写一个上下文无关文法，使其语言能被5整除且不以0开头的无符号整数集合（如{5，10，15}） 解答

能被5整除的数从形式上看，是以0，5结尾的数字串。题目要求不以0开头，注意0不是该语言的句子。句子的结构分为三种：

5 一位数 B A 两位数 B C … C A 多位数

其中，A代表可以出现在个位上的数字，只能是0或5；

B代表可以出现在开始位上的数字，除了0以外，其他数字都可以； C代表可以出现在中间位上的数字。0-9所有数字都可以。 于是，A→0 | 5

B→1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 C→0 | B

写文法时，先描述一位数结构，于是有产生式S →5。对于两位数和多位数，都是以B开头和以A结尾，于是有产生式S→DA。用非终结符D推导出两位数和多位数中除个位数字以外的数字。对与多位数，由于中间位可以是许多位，必须使用递归技术来描述其结构。于是有产生式： D→DC D→B

因此，所求文法为G[S]： S →5 S→DA D→DC D→B A→0 | 5

B→1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 C→0 | B

3. 写一个文法G, 使其语言为 不以0开头的偶数集。

2

解答

不以0开头的偶数集数字的结构分为三种：一位数、两位数和多位数。

A 一位数 C B 两位数 C D … D B 多位数

其中，A代表可以出现在个位上的数字，可以是2，4，6，8，但不能是0；

B代表可以出现在开始位上的数字，除了0以外，其他数字都可以； C代表可以出现在中间位上的数字。0-9所有数字都可以。 于是，A→2 | 4 | 6 | 8 B→0 | A

C→1 | 3 | 5 | 7 | 9 | A

D→0 | C

写文法时，先描述一位数结构，于是有产生式S →A。对于两位数和多位数，都是以C开头和以B结尾，于是有产生式S→CE。用非终结符E推导出两位数和多位数中除个位数字以外的数字。对与多位数，由于中间位可以是许多位，必须使用递归技术来描述其结构。于是有产生式： E→CE E→B

因此，所求文法为G(S)：

S→A | CE E→CE | B

A→2 | 4 | 6 | 8 B→0 | A

C→1 | 3 | 5 | 7 | 9 | A D→0 | C

4. 考虑下面的程序： …

procedure P(x, y, z);

begin y:=y+1; z:=z+x end; begin

3

a:=2; b:=3;

P(a+b, a, a); print a end.

试问，若参数传递的方式分别采用传值、传地址、得结果和传名时，程序执行后输出 a的值是什么? 解答

所谓传值是调用段把实在参数的值计算出来，被调用段把这些值抄进自己的形式参数中，像使用局部名一样使用这些形式单元。对形式参数的任何运算不影响实参的值。

上面过程P调用的的参数传递过程如下图所示。

过程调用前 a+b=5 a=2 b=3 过程调用后 x=5 y=2 z=3

但过程P无法改变实参a的值。因此，程序执行后输出 a的值是 2。 所谓传地址是把实在参数的地址传递给相应的形式参数。在过程段中每个形式参数都有一个相应的单元，称为形式单元。形式单元将用来存放相应实在参数的地址。过程体对形式参数的任何引用或赋值都被处理成对形式单元的间接访问。

过程调用后，形参x的形式单元指向存a+b值的临时变量的地址，形参y的形式单元指向变量a的地址，形参z的形式单元指向变量b的地址。形参通过指针可以间接访问实参。

执行y:=y+1; 后，实在参数的变化： 过程调用后 x y z 过程调用前 a+b=5 a=2 b=3 4

a+b=5 a=3 b=3 x y z

执行z:=z+x; 后，实参的变化：

a+b=5 a=8 b=3 x y z

因此，程序执行后输出 a的值是 8。

所谓得结果是每个形式参数对应两个单元，第一个单元存放实参的地址，第二个单元存放实参的值。在过程体中对形参的任何引用或赋值都被处理成对第二个形式单元的直接访问，但在过程工作完成返回之前必须把第二个单元的内容存放到第一个单元所指的那个实参单元之中。

过程调用前 a+b=5 a=2 b=3 过程调用后 x=5 y=2 z=3

执行y:=y+1; 后，实参和的形参的变化：

5

a+b=5 a=2 b=3 x=5 y=3 z=2

执行z:=z+x; 后，实参和的形参的变化：

a+b=5 a=2 b=3 x=5 y=3 z=7

过程工作完成返回之前必须把第二个单元的内容存放到第一个单元所指的那个实参单元之中。实参和的形参的变化：

a+b=5 a=7 b=3 x=5 y=3 z=7

因此，程序执行后输出 a的值是 7。

(4) 所谓传名是在进入调用段之前不对实在参数预先进行计值，而是过程中每当使用到相应的形参时才对它实行计值。因此,在实现时通常都把实参处理成型个子程(称为参数子程序),每当过程体中使用到相应形参时就调用这个子程序。

因此，过程体执行y:=y+1;语句，实现时处理成为：

a=a+1;

过程体执行z:=z+x;语句，实现时处理成为：

a=a+(a+b);

6

执行上述两语句后，a的值是 9。因此，程序执行后输出 a的值是 9。 综上所述程序执行时a的输出：

(1)传值： 2 (2)传地址： 8 (3)得结果： 7 (4)传名： 9

5. 已知文法G[S] S→S*aP | aP | *aP P→+aP | +a

(1) 将文法G[S]改写为LL(1)文法G?[S]； (2) 构造文法G?[S]的预测分析表。 解答

构造文法的预测分析表，通常应当按下列步骤进行： (1) 消除文法的左递归

(2) 对消除左递归后的文法，提取左公因子。

(3) 对经过上述改造后的文法，计算它的每个非终结符的FIRST 和FOLLOW集合。(4) 根据FIRST 和FOLLOW集合构造预测分析表。 消除直接左递归方法：假设关于非终结符P的规则为 P→Pα|β

其中，β不以P打头。把P的规则改写为如下非直接左递归形式： P→βP ? P→αP ?|?

文法G[S] 消除直接左递归方法后，文法变为G?[S]： S→aPS? | *aPS? S?→*aPS? | ε P→+aP | +a

提公共左因子的方法：假设关于非终结符A的规则为 A→ δβ1| δβ2|…| δβn|γ1| γ2|…| γm 其中，每个γ不以δ开头。把A的规则改写为如下形式： A→αA?| γ1| γ2|…| γm A?→β1|β2|…|βn

于是，文法 G?(S) 提公共左因子后，文法变为G??[S] S→aPS? | *aPS?

7

S?→*aPS? | ε P→+aP? P?→P | ε

计算每个非终结符的FIRST 和FOLLOW集合： a. 计算非终结符X的FIRST方法：

(1)若有产生式X?a…，则把a加入到FIRST(X)中； (2)若X??也是一条产生式,则把?也加到FIRST(X)中； (3)若X?Y…是一个产生式且Y?VN，则把FIRST(Y)中的所有非?元素都加到FIRST(X)

中；若X?Y1Y2…YK 是一个产生式，Y1,Y2,…,Yi-1都是非终结符，而且，对于任何j， 1≤j≤i-1,FIRST(Yj)都含有?，则把FIRST(Yj)中的所有非?元素都加到FIRST(X)中；特别是，若所有的FIRST(Yj)( j=1,2,…,K)均含有?，则把?加到FRIST(X)中。

根据计算非终结符的FIRST方法的第一点，有 FIRST(S)={a，*} FIRST(S?)={*} FIRST(P)={+} FIRST(P?)={}

根据计算非终结符的FIRST方法的第二点，有 FIRST(S)={a，*} FIRST(S?)={*，ε} FIRST(P)={+} FIRST(P?)={ ε}

根据计算非终结符的FIRST方法的第三点，有 FIRST(S)={a，*} FIRST(S?)={*，ε} FIRST(P)={+} FIRST(P?)={+，ε}

b. 计算非终结符X的FOLLOW方法：

(1)对于文法的开始符号S,置#于FOLLOW(S) 中；

(2).若Ａ→αBβ是一个产生式，则把FIRST(β)\\{?}加至FOLLOW(B)中；

(3)若Ａ→αB是一个产生式,或Ａ→αBβ是一个产生式而β??(即??FIRST(β))，则把FOLLOW(A)，加至FOLLOW(B)中。

根据计算非终结符的FOLLOW方法的第一点，有 FOLLOW(S)={#} FOLLOW(S?)={} FOLLOW(P)={} FOLLOW(P?)={}

根据计算非终结符的FOLLOW方法的第二点，有 FOLLOW(S)={#} FOLLOW(S?)={#} FOLLOW(P)={*，#} FOLLOW(P?)={*，#}

8

根据FIRST 和FOLLOW集合构造预测分析表方法： (1)对文法G的每个产生式Ａ→?执行第二步和第三步； (2)对每个终结符a?FIRST(?)，把Ａ→?加至?[A,a]中；

(3)若?? FIRST(?)，则对任何b?FOLLOW(A)，把Ａ→?加至?[A,b]中； (4)把所有无定义的?[A,a]标上“出错标志”。 构造预测分析表方法如下： S S? P P?

6. 设文法G(S): S→(T) | aS | a T→T,S | S ⑴ 消除左递归和提公共左因子； ⑵ 构造相应的FIRST和FOLLOW集合； ⑶ 构造预测分析表。 解答

(1)消除左递归和提公共左因子，文法变为G?[S]

S →(L) | aS?

S?→S |ε L→SL? L?→,SL? |ε 此文法没有公共左因子

(2) 构造相应的FIRST和FOLLOW集合 FIRST(S)={a，(} FIRST(S?)={a，(，ε} FIRST(L)={a, (} FIRST(L?)={,, ε} FOLLOW(S)={,, ), #} FOLLOW(S?)={,, ), #} FOLLOW(L)={ )}

* S→*aPS? S?→*aPS? P?→ε + P→+aP? P?→P a S→aPS? # S?→ε P?→ε 9

FOLLOW(L?)={ )} (3) 构造预测分析表

S S? L L?

7. 设文法G[S]

S ?(A) S ?a A ?A+S A ?S

(1) 构造每个非终结符的FIRSTVT和LASTVT集合； (2) 构造优先关系表； 解答

对于这类题目，关键是准确掌握FIRSTVT和LASTVT集合的定义和构造方法。

FIRSTVT(P)={a|P+?a?或P+?Qa...，a?VT而Q?VN}

即，对于非终结符P，其往下推导所可能出现的首个算符。

LASTVT(P)={a|P+??a或P+?...aQ，a?VT而Q?VN}

即，对于非终结符P，其往下推导所可能出现的最后一个算符。

构造FIRSTVT和LASTVT集合的方法 (1) 构造FIRSTV集合

若有产生式P?a?或P?Qa?，则a?FIRSTVT(P)；

若有a?FIRSTVT(Q)，且有产生式P?Q?，则a?FIRSTVT(P)。

(2) 构造LASTVT集合

若有产生式P??a或P??aQ，则a?LASTVT(P);

若有a?LASTVT(Q)，且有产生式P??Q，则a?LASTVT(P)。

对于文法G[S]，构造它的每个非终结符的FIRSTVT和LASTVT集合： FIRSTVT(S)={a, ( } FIRSTVT(A)={+, a, ( } LASTVT(S)={a, )} LASTVT(A)={+, a, )}

构造算符优先关系表方法： (1) ?=?关系

直接看产生式的右部，若出现了 P →…ab…或P →…aQb，则a=b

(2)?

求出每个非终结符P的FIRSTVT(P)

10

( S →(L) S?→S L→SL? ) S?→ε L?→ε a S → aS? S?→S L→SL? , S?→ε L?→,SL? # S?→ε

若P→…aR…，则?b∈FIRSTVT(R)，a

(3)?>?关系

求出每个非终结符P的LASTVT(P)

若P→…Rb…，则?a∈LASTVT(B)，a>b

对于文法G[S]，构造它的算符优先关系表如下：

a + ( ) a > > + < > < > ( < < < = ) > >

8. 设文法G（S）： S→T | S∨T T→U |T∧U U→i |-U

(1) 计算FIRSTVT 和LASTVT； (2) 构造优先关系表。

解答

(1)对于文法G[S]，构造它的每个非终结符的FIRSTVT和LASTVT集合。 FIRSTVT(S)={∨, ∧, i, - } FIRSTVT(T)={∧, i, -}

FIRSTVT(U)={i, -} LASTVT(S)={∨, ∧, i, - }

LASTVT(T)={∧, i, -}

LASTVT(U)={i, -}

(2) 构造优先关系表。

i ∨ ∧ - S .> .> ∨ <. .> <. <. ∧ <. .> .> <. - <. .> .> <.

11

9. 下面映射if语句的文法G[S]是算符优先文法吗？如果是，则构造算符优先关系表。如果不是，则说明理由。 G[S]

S?iBtS S?iBtSeS S?a B?b 解答

对于文法G[S]，它是一个二义性文法。因为存在句子ibtibtaea有两个不同的最左推导 S? iBtS? ibtS? ibtiBtSeS? ibtibtSeS? ibtibtaeS? ibtibtaea

S? iBtSeS? ibtSeS? ibt iBtSeS? ibtibtSeS? ibtibtaeS? ibtibtaea

由于算符优先文法一定不是二义性文法，所以文法G[S]不是算符优先文法。

10. 设有如下的基本块 T1:=A+B T2:=5 M:=T2*4 T3:=C-D T4:=M+T3 L:=T1*T3 T4:=A+B N:=T4

(1) 画出该基本块的DAG图；

(2) 假设只有L，M 和N 在基本块之后还要引用，写出优化后的四元式序列。 解答

在构造基本块的DAG图时，必须注意两个方面：一是对于已知的常量要进行计算；二是对同一变量进行多次定值时，最后一次定值是基本块中该变量的最终变量。由于基本块有语句T2：=5，可知T2是已知量。所以，语句M：=T2 * 4 可计算出M 的值来，即，M也转为常量（M = 20）。一方面，变量T4进行了两次操作，基本块执行完时，最后一次给T4的定才是T4的最终结果。活跃信息是针对变量而言的。如果一个变量在基本块之后不再被引用，则称该变量是非活跃的（或称为非活跃变量），反之称之为活跃的（或称为活跃变量）。变量的活跃信息对代码优化和代码生成都有非常重要的指导意义。

当DAG图构造出来后，根据题目所给的条件从DAG图中计算出活跃变量的结果即可。本是中只要计算出变量L、M和N的结果就行了。

基本块对应的DAG图如下：

12

n3 L * n3 n3 T1,T4,N T4 n3 T3 + + _ n1 n2 n4 T2 n5 M n6 n7 A B 5 20 C D

按照构造其结点的顺序，重新写成四元式序列G?

T1=A+B T4=T1 N=T4 T2=5 M=20 T3=C-D L=T1*T3

由于只有L，M 和N 在基本块之后还要引用，T1、T2、T3和T4都不会引用，于是重新写出优化后的四元式序列为：

N:=A+B M:=20 T3:=C-D L:=N*T3

11. 把语句

while a>0 ∧b>0 do if x>y then b:=b-1 else a:=a-1; 翻译为四元式序列。 解答

13

对于这类题目，关键是准确掌握语句的语动作。

while-do 语句的语义动作while M1EE.truelistE.falselistdoS1.nextlistM2S1(j, _, _, M.quad)S.nextlistif-then-else 语句的语义动作if E.falselistE.truelistEthenS1.nextlistM1S1N.nextlistNelseM2S2S2.nextlistS.nextlist作为条件控制的布尔式的翻译：

把 A or B 解释成 if A then true else B 把 A and B 解释成 if A then B else false 把 not A 解释成 if A then false else true 布尔表达式赋予两种“出口” ：一是“真”出口；一是“假”出。 假设四元式序列从100开始编号。 14

表达式a>0 翻译为： 100 (j>，a，0，_) 101 (j，_，_，_)

继续翻译表达式a>0 ∧b>0，由于是与运算，100号语句应转跳到102号语句，102号语句为“真”出口，101号语句和103号语句为“假”出，四元式序列为：

100 (j>，a，0，102) 101 (j，_，_，_) 102 (j>，b，0，_) 103 (j，_，_，_)

继续翻译语句while a>0 ∧b>0 do if x>y …

while语句中的逻辑表达式的“真”出口应转跳到其循环体的第一个四元式标号，即104号语句。

100 (j>，a，0，102) 101 (j，_，_，_) 102 (j>，b，0，104) 103 (j，_，_，_) 104 (j>，x，y_) 105 (j，_，_，_)

if语句中的逻辑表达式的“真”出口为104号语句，应转跳到then 中的第一个四元式标号，“假”出口为105号语句，应转跳到else 中的第一个四元式标号。then 中语句翻译完，应转跳出去。

100 (j>，a，0，102) 101 (j，_，_，_) 102 (j>，b，0，104) 103 (j，_，_，_) 104 (j>，x，y_) 105 (j，_，_，_) 106 (-，b，1，T1) 107 (:=，T1，_，b) 108 (j，_，_，_) 109(-，a，1，T2) 110 (:=，T2，_，a)

while语句中循环体翻译完，应转跳到while语句的第一个四元式标号，即100号语句。while语句中的逻辑表达式的“假”出口应转跳到while语句后的第一个四元式标号。

100 (j>，a，0，102) 101 (j，_，_，112) 102 (j>，b，0，104) 103 (j，_，_，112) 104 (j>，x，y_) 105 (j，_，_，_) 106 (-，b，1，T1) 107 (:=，T1，_，b) 108 (j，_，_，100)

15

109(-，a，1，T2) 110 (:=，T2，_，a) 111 (j，_，_，100)

12. 已知文法G[S]及相应翻译方案 S→aAb {print “1”}

S→a {print “2”} A→AS {print “3”} A→c {print “4”} 输入acab, 输出是什么？

解答

对于这类题目，首先画出句子acab对应的语法树。每当用一个产生式归约时，则执行相应的语义动作。句子acab对应的语法树为：

S a A b A S c a

第一个归约的产生式是A→c，它相应的语义动作为print “4”。所以，产生输出4。 第二个归约的产生式是S→a，它相应的语义动作为print “2”， 产生输出2。 第三个归约的产生式是A→AS，它相应的语义动作为print “3”，产生输出3。 最后归约的产生式是S→aAb，它相应的语义动作为print “1”， 产生输出1。 因此，输入acab, 输出是4231。

16

109(-，a，1，T2) 110 (:=，T2，_，a) 111 (j，_，_，100)

12. 已知文法G[S]及相应翻译方案 S→aAb {print “1”}

S→a {print “2”} A→AS {print “3”} A→c {print “4”} 输入acab, 输出是什么？

解答

对于这类题目，首先画出句子acab对应的语法树。每当用一个产生式归约时，则执行相应的语义动作。句子acab对应的语法树为：

S a A b A S c a

第一个归约的产生式是A→c，它相应的语义动作为print “4”。所以，产生输出4。 第二个归约的产生式是S→a，它相应的语义动作为print “2”， 产生输出2。 第三个归约的产生式是A→AS，它相应的语义动作为print “3”，产生输出3。 最后归约的产生式是S→aAb，它相应的语义动作为print “1”， 产生输出1。 因此，输入acab, 输出是4231。

16