计算机编译原理历年试题.doc

历年试题： 编译原理 （中科大试题，对计算所考生较有参考意义） 1997年编译原理试题 1．（10分）某操作系统下合法的文件名为 device:name.extension 其中第一部分（device:）和第三部分（.extension）可缺省，若device, name和extension都是字母串，长度不限，但至少为1，画出识别这种文件名的确定有限自动机。 2．（20分） a. 下面的二义文法描述命题演算公式，为它写一个等价的非二义文法。 S— S and S | S or S | not S | p | q | (S) b. 下面文法是否为LL(1)文法？说明理由。 S— A B | P Q x A— x y B— b c P— d P | ε Q— a Q | ε 3．（10分）某些语言允许给出名字表的一个属性表，也允许声明嵌在另一个声明里面，下面文法抽象这个问题。 D — attrlist namelist | attrlist (D) namelist — id, namelist | id attrlist — A attrlist | A A — decimal | fixed | float | real D — attrlist namelist的含义是：在namelist中的任何名字有attrlist 中给出的所有属性。D— attrlist (D) 的含义是：在括号中的声明提到的所有名字有attrlist 中给出的所有属性，而不管声明嵌套多少层。 写一个翻译方案，它将每个名字的属性个数填入符号表。为简单起见，若属性重复出现，则重复计数。 4．（10分）把表达式 -(a+b)*(c+d)+(a+b+c) 翻译成四元式。 5．（10分）由于文法二义引起的LR（1）分析动作冲突，可以依据消除二义的规则而得到LR（1）分析表，根据此表可以正确识别输入串是否为相应语言的句子。对于非二义非LR（1）文法引起的LR（1）分析动作的冲突，是否也可以依据什么规则来消除LR（1）分析动作的冲突而得到LR（1）分析表，并且根据此表识别相应语言的句子？若可以，你是否可以给出这样的规则？ 6．（5分） UNIX 下的C编译命令cc的选择项g和O的解释如下，其中dbx的解释是“dbx is an utility for source-level debugging and execution of programs written in C”。试说明为什么用了选择项g后，选择项O便被忽略。 -g Produce additional symbol table information for dbx(1) and dbxtool(1) and pass -lg option to ld(1) (so as to include the g library, that is: /usr/lib/libg.a). When this option is given, the -O and -R options are suppressed. -O[level] Optimize the object code. Ignored when either -g, -go, or -a is used. ... 7．（15分）下面程序在SUN工作站上运行时陷入死循环，试说明原因。如果将第8行的long *p改成short *p，并且将第23行long k 改成short k后，loop中的循环体执行一次便停止了。试说明原因。 main() { addr(); loop(); } long *p; loop() { long i,j; j=0; for(i=0;i10;i++){ (*p)--; j++; } } addr() { long k; k=0; p=k; } 8．（15分）下面程序的结果是120。但是如果把第10行的abs(1)改成1的话，则程序结果是1。试分析为什么会有这不同的结果。 int fact() { static int i=5; if(i==0) { return(1); } else { i=i-1; return((i+abs(1))*fact()); } } main() { printf(factor of 5 =