编译原理大题集合 .pdfVIP

编译原理⼤题集合

1.简要说明语义分析的基本功能。

答：语义分析的基本功能包括:确定类型、类型检查、语义处理和某些静态语义检查。

2.考虑⽂法G[S]:

S→(T)|a+S|a

T→T,S|S

消除⽂法的左递归及提取公共左因⼦。

解：消除⽂法G[S]的左递归：

S→(T)|a+S|a

T→ST′

T′→,ST′|ε

提取公共左因⼦：

S→(T)|aS′

S′→+S|ε

T→ST′

T′→,ST′|ε

3.试为表达式w+(a+b)*(c+d/(e-10)+8)写出相应的逆波兰表⽰。

解：wab+cde10-/+8+*+

4.按照三种基本控制结构⽂法将下⾯的语句翻译成四元式序列：

while(A

{

if(A≥1)C=C+1;

elsewhile(A≤D)

A=A+2;

}。

解：该语句的四元式序列如下(其中E1、E2和E3分别对应A＜C∧B＜D、A≥1和A≤D，并且关系运算符优先级⾼)：

100(j,A,C,102)

101(j,_,_,113)

102(j,B,D,104)

103(j,_,_,113)

104(j=,A,1,106)

105(j,_,_,108)

106(+,C,1,C)

107(j,_,_,112)

108(j≤,A,D,110)

109(j,_,_,112)

110(+,A,2,A)

111(j,_,_,108)

112(j,_,_,100)

113

5.已知⽂法G[S]为S→aSb|Sb|b，试证明⽂法G[S]为⼆义⽂法。

证明：

由⽂法G[S]：S→aSb|Sb|b，对句⼦aabbbb对应的两棵语法树为：

因此，⽂法G[S]为⼆义⽂法。

五.计算题（10分）

已知⽂法

A-aAd|aAb|ε

判断该⽂法是否是SLR(1)⽂法，若是构造相应分析表，并对输⼊串ab#给出分析过程。

解：增加⼀个⾮终结符S/后，产⽣原⽂法的增⼴⽂法有：

S-A

A-aAd|aAb|ε

下⾯构造它的LR(0)项⽬集规范族为：

从上表可看出,状态I0和I2存在移进-归约冲突，该⽂法不是LR(0)⽂法。对于I0来说有：FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以

在I0状态下⾯临输⼊符号为a时移进，为b,d,#时归约，为其他时报错。对于I2来说有也有与I0完全相同的结论。这就是说，以

上的移进-归约冲突是可以解决的，因此该⽂法是SLR(1)⽂法。

其SLR(1)分析表为：

对输⼊串ab#给出分析过程为：

三、名词解释题：

1.局部优化局限于基本块范围的优化称。

2.⼆义性⽂法如果⼀个⽂法存在某个句⼦对应两棵不同的语法树，则称这个⽂法是⼆义性⽂法。

3.DISPLAY表过程的嵌套层次显⽰表，记录该过程的各外层过程的最新活动记录的起始地址。

5.最左推导任何⼀步α=β都是对α中的最右⾮终结符替换。

6.语法⼀组规则，⽤它可形成和产⽣⼀组合式的程序。

7.⽂法描述语⾔的语法结构的形式规则。

8.基本块指程序中⼀顺序执⾏的语句序列，其中只有⼀个⼊⼝和⼀个出⼝，⼊⼝就是其中的第⼀个

语句，出⼝就是其中的最后⼀个语句。

9.语法制导翻译在语法分析过程中，根据每个产⽣式所对应的语义⼦程序进⾏翻译的办法叫做语法制导翻译。

10.短语令G是⼀个⽂法，S划⽂法的开始符号，假定αβδ是⽂法G的⼀个句型，如果有

SαAδ且Aβ，则称β是句型αβδ相对⾮终结符A的短语。

11.待⽤信息如果在⼀个基本块中，四元式i对A定值，四元式j要引⽤A值，⽽从i到j之间没

有A的其它定值，则称j是四元式i的变量A的待⽤信息。

12.规范句型由规范推导所得到的句型。

13.扫描器执⾏词法分析的程序。

14.超前搜索在词法分析过程中，有时为了确定词性，需超前扫描若⼲个字符。

15.句柄⼀个句型的最左直接短语。

16.语法制导翻译在语法分析过程中，根据每个产⽣式所对应的语义程序进⾏翻译的⽅法叫做语

法制导翻译。

17.规范句型由规范推导所得到的句型。

18.素短语素短语是指这样⼀个短语，⾄少含有⼀个终结符，并且，除它⾃⾝外不再含任何更⼩的

素短语。

19.语法是组规则，⽤它可形成和产⽣⼀个合式的程序。

20.待⽤信息如果在⼀个基本块中，四元式i对A定值，四元式j要引⽤A值，⽽从i到j之间没

有A的其它定值，则称j是四元式i的变量A的待⽤信息。

21.语义定义程序的意义的⼀组规则。

四、简答题：

1.写⼀个⽂法G,使