1997年编译原理试题.docxVIP

1997年编译原理试题

1．（10分）某操作系统下合法的文件名为

device:name.extension

其中第一部分（device:）和第三部分（.extension）可缺省，若device,name和extension都是字母串，长度不限，但至少为1，画出识别这种文件名的确定有限自动机。

2．（20分）

下面的二义文法描述命题演算公式，为它写一个等价的非二义文法。

S—SandS|SorS|notS|p|q|(S)

下面文法是否为LL(1)文法？说明理由。S—AB|PQx A—xy B—bcP—dP|ε Q—aQ|ε

3．（10分）某些语言允许给出名字表的一个属性表，也允许声明嵌在另一个声明里面，下面文法抽象这个问题。

D—attrlist namelist | attrlist(D)namelist—id,namelist| id

attrlist —Aattrlist| A

A—decimal| fixed| float| real

D—attrlist namelist的含义是：在namelist中的任何名字有attrlist中给出的所有属性。D—attrlist(D)的含义是：在括号中的声明提到的所有名字有attrli