四 证明正规式(ab)*a 与正规式a(ba)*等价 （用构造他们的最小的DFA方法）。 【答案：】
五 写一个文法，使其语言是：
L ＝ { 1n0m1m0n | m,n≥0 }
【】【】五 文法G：S → 1S0 | A
A → 0A1 | ε
六 对文法G[S]
第6页共6页
S → aSb | P
P → bPc | bQc Q → Qa | a
(1) 它是否是算符优先文法？请构造算符优先关系表
(2) 文法G[S]消除左递归、提取左公因子后是否是LL（1）文法？请
证实。
【】【】1.求出G[S]的FIRSTVT集和LASTVT集：
FIERSTVT（S）={a,b} LASTBVT（S）={b,c}
FIERSTVT(P)={b} LASTBVT（P）={c} FIERSTVT(Q)={a} LASTBVT（Q）={a} 构造优先关系表为：
a b c a b c < > < < > > > > 由于在优先关系中同时出现了aa以及b
2. 消除左递归和提取左公因子后的文法为：
S → aSb | P P → bP’ P’→ Pc |Qc Q → aQ’ Q’→ aQ’|ε
求具有相同左部的两个产生式的Select集的交集：
Select(S→aSb)∩Select(S→P) = {a}∩First(P) = {a}∩{b} = Ф
Select(P’→Pc)∩Select(P’→Qc) = First(P)∩First(Q)={b}∩{a}= Ф Select(Q’→aQ’)∩Select(Q’→ε) = {a}∩Follow(Q) = {a}∩{c} = Ф 所以修改后的文法是LL（1）文法。
七 已知文法G为:
（0） S′→ S （1） S → aAd （2） S → bAc （3） S → aec （4） S → bed （5） A → e
试构造它的LR（1）项目集、可归前缀图和LR（1）分析表。 【】【答案：】 S I1：S′→S · , I0: # S′→· S , d # a A I4：S→aA· d , I8：S→aAd · , I： 2 S→· aAd , # S→a · Ad , # # e I：S→ae·S→a · ec , # c , c I：5 , 9S→aec ·S→ · bAc , A→· e , d ## # 第7页共6页 A→e · , d S→ ·aec , I10： b # I3: S→b · Ac , # A S→bAc · , I6: S→bA·c,# c
构造LR(1)分析表 如下：
a b c d e # S A
S2 S3 0 1
1 ac
c S5 2 S7 3
S8 4
S9 r5 5
S10 6
r5 S11 7
r1 8
r3 9
r2 10 r4 11 八 已知源程序如下： prod:=0; i:=1;
while i≤20 do begin
prod:=prod+a[i]*b[i]; i:=i+1
end;
试按语法制导翻译法将源程序翻译成四元式序列（设A是数组a的起始地址，B是数组b的起始地址；机器按字节编址，每个数组元素占四个字节）。 【答案：】
状态 action goto 第8页共6页
九 设有以下程序段
procedure P(x,y,z) begin
Y:=y*3; Z:=X+z; end; begin
a:=5; b:=2; p(a*b,a,a); print(a); end
若参数传递的方法分别为（1）传值、（2）传地址、（3）传名，试问结果分别什么？
【】【】十 （1）传值 5； （2）传地址 25； （3）传名 45
十 对以下文法，请写出关于括号嵌套层数的属性文法。(为S,L引入属性h,用来
记录输出配对的括号个数) 文法规则 S→(T) S→i T→T,S 语 义 规 则 第9页共6页
T→S 答案：
十一 对PL/0语言的while语句 while 条件B DO 语句S 的编译程序，
请在空缺处填空，完成该语句的编译算法： switch (SYM) { ……
case WHILESYM:
CX1=CX ;
GetSym();
CONDITION(SymSetAdd(DOSYM,FSYS),LEV,TX);
CX2=CX ;
GEN(JPC,0,0);
if (SYM==DOSYM)
GetSym() ;
else Error(18);
STATEMENT(FSYS,LEV,TX); GEN(JMP,0,CX1);
CODE[CX2].A=CX ；
break;
……}
《编译原理》期末试题（七）
一、回答下列问题：(30分)
1．什么是S-属性文法？什么是L-属性文法？它们之间有什么关系？ 解答：
S-属性文法是只含有综合属性的属性文法。 （2分）
L-属性文法要求对于每个产生式A?X1X2…Xn，其每个语义规则中的每个属性或者是综合属性，或者是Xj的一个继承属性，且该属性仅依赖于：
第10页共6页