02-编译原理课程测试第二套卷(附解析)-编译原理试题-中国科技大学.pdfVIP

编译原理课程测试第二套卷（附解析） 1．（20 分）写出字母表 = {a, b} 上语言 L = { w | w 的最后两个字母是 aa 或 bb} 的正规式，并 画出接受该语言的最简 DFA 。 2．（15 分）说明下面的文法不是 SLR(1)文法，并重写一个等价的 SLR(1)文法。 S M a | b M c | d c | b d a M d 3．（10 分）为下面的语言写一个无二义的文法： ML 语言中用分号分隔语句的语句块，例如： ( (s ; s ) ; ( s ; s ; s ) ; s ) ; ( s ; s ) 4．（20 分）考虑一个类 Pascal 的语言，其中所有的变量都是整型（不需要显式声明） ，并且 仅包含赋值语句、读语句、写语句，条件语句和循环语句。下面的产生式定义了该语言的语 法（其中 lit 表示整型常量； OP 的产生式没有给出，因为它和下面讨论的问题无关） 。 定义 Stmt 的两个属性： MayDef 表示它可能定值的变量集合， MayUse 表示它可能引用的 变量集合。 （1）写一个语法制导定义或翻译方案，它计算 Stmt 的 MayDef 和 MayUse属性。 （2 ）基于 MayDef 和 MayUse 属性，说明 Stmt1;Stmt2 和 Stmt2 ;Stmt1 在什么情况下有同样 的语义。 Program Stmt Stmt id := Exp Stmt read (id ) Stmt write ( Exp ) Stmt Stmt ; Stmt Stmt if ( Exp ) then begin Stmt end elsebegin Stmt end Stmt while ( Exp ) do begin Stmt end Exp id Exp lit Exp Exp OP Exp 5．（10 分）下面是一个 C 语言程序： main() { long i; long a[0][4]; long j; i = 4; j = 8; printf( “%d, %dn”, sizeof(a), a[0][0]); } 虽然出现 long a[0][4] 这样的声明，在 X86/Linux 机器上该程序还是能通过编译并生成目标代 码。请回答下面两个问题： （1）sizeof(a)的值是多少，请说明理由。 （2 ）a[0][0] 的值是多少，请说明理由。 6．（15 分）考虑下面的三地址语句序列： b := 1 b := 2 if w = x goto L2 e := b goto L2 L1: goto L3 L2: c := 3 b := 4 c := 6 L3: if y = z goto L4 goto L5 L4: g := g + 1 h := 8 goto L1 L5: h := 9 （1）在该代码中用水平的横线将代码分成基本块，并给每个基本块一个序号。 （2 ）画出该代码的控制流图，每个基本块就用（ 1）的序号表示。 （3 ）若有循环的话，列出构成每