2015-2016软件学院编译原理复习卷

S S | （ S ） | ε
可以给出串 （ ）的两种不同的最左推导： 最左推导 1： 最左推导 2： S （ S ） （ε） （ ） S （ S ） （ S S ）（ε S ）（ε ε） （ ） 分析栈 int T Tx 3 某同学认为，如果一个文法是 SLR(1)的，那么该文法一定也是 LALR(1)。此看法正确吗？为什么？ （5 分） 参考解答：此看法正确。因为，SLR(1)分析技术依靠 Follow 集合的全集来尝试解决移进-归约、归约-归 约等分析冲突，而 LALR(1)分析技术依靠搜索符集合来尝试解决分析冲突，那些搜索符集合是 Follow 集 合的（真）子集，且两者识别活前缀的状态转换以及状态中的相应 LR(0)项目集合均是一致的。显然，如 果在全集下能解决分析冲突，当然在某个（真）子集下也能解决分析冲突，也就是说，一个文法如果是 SLR(1)的，那么该文法一定也是 LALR(1)的。 T x, Tx,y Tx,y, Tx,y,z Tx,y,L Tx,L TL D 输入串 int x,y,z x,y,z x,y,z ,y,z y,z ,z z L → id L → id , L1 L → id , L1 D → T L Top-5 Top-5 Top-3 T → int 归约产生式 T.type 位置
(b) 保持 L 产生式的右递归形式，给出该语法制导定义在 LR 分析下的属性栈代码实现。 如需要，可适当修改文法 G3 的产生式； （10 分） 修改后产生式 1 2 3 4 5 6 D → T L T → int T → real L → id , M L1 L → id M → L.in := T.type T.type := INT T.type := REAL L1.in := M.s; AddType( id.entry, M.s ) M.i := L.in AddType( id.entry, L.in ) M.s := M.i 修改后语义规则
合
肥
工
业
大
学
试
卷 （ A √ 、 B ） 参考解答：
学分 课程性质:必修 选修 、限修 考试形式:开卷 、闭卷√ 张炳武 命题教师 系（所或教研室）主任审批签名
2 针对文法 G0： S （ S ）S | ε
2015～2016 学年第 1 专业班级（教学班）
学期 课程代码 考试日期
课程名称 编译原理
注：如修改文法，不得改变原文法产生的语言。
(a) 以输入串 int x,y,z 为例，指出在 LR 分析期间，当 L 归约时，类型信息，即 T 的综合属性 T.type 命题教师注意事项:1、主考教师必须于考试一周前将“试卷 A” 、 “试卷 B”经教研室主任审批签字后送教务科印刷。 2、请命题教师用黑色水笔工整地书写题目或用 A4 纸横式打印贴在试卷版芯中。
参考解答： test: pushl movl subl movl movl movl movl movl movl movl movl movl movl leave ret
%ebp %esp, %ebp $4, %esp 8(%ebp), %eax (%eax), %eax %eax, -4(%ebp) 8(%ebp), %edx 12(%ebp), %eax (%eax), %eax %eax, (%edx) 12(%ebp), %edx -4(%ebp), %eax %eax, (%edx)
合
肥
工
业
大
学
试
卷 （ A √ 、 B ） 参考解答：
学分 课程性质:必修 选修 、限修 考试形式:开卷 、闭卷√ 张炳武 命题教师 系（所或教研室）主任审批签名
2015～2016 学年第 1 专业班级（教学班）
修改后产生式 1 2 3 4 5 6 D → T L T → int T → real
学期 课程代码 考试日期
(b) {w∈(0 | 1)+ | w 不能 被 5 整除 }
参考解答：
1 直接给出相关 DFA (a) {w∈(0 | 1)* | w 含有 00 子串 1 0 0 1 1 1 0 2 } 0
注：本题中三个文法必须各不相同。
参考解答：
(a) First(S) = { ( , ε} LL(1)分析表如下： ( S S （ S ）S ) S ε $ S ε Follow(S) = { $, ) }
int a[100],i,j,gap,temp; … … while (gap > 0) { for ( i = gap; i < n; i++ ){ j = i - gap; temp = a[i]; while (( j >= 0 ) && ( a[j] > temp )) { a[j + gap] = a[j]; j = j - gap; } //while a[j + gap] = temp; } //for gap = ( gap - 1 ) / 3; } //while 参考解答： a)三地址代码 100 if gap <= 0 goto 127 101 i = gap 102 if i >= n goto 124 103 j = i – gap 104 t1 = 4 * i 105 temp = a[t1] 106 if j >= 0 goto 108 107 goto 119 108 t2 = 4 * j 109 t3 = a[t2]
4 以下是文法 G3 的产生式及语法制导定义，完成将标识符的类型添入符号表的工作。 产生式 1 2 3 4 5 D → T L T → int T → real L → id , L1 L → id L.in := T.type T.type := INT T.type := REAL L1.in := L.in; AddType( id.entry, L.in ) AddType( id.entry, L.in ) 语义规则
合
肥
工
业
大
学
试
卷 （ A √ 、 B ） 参考解答：
学分 课程性质:必修
在属性栈上的位置； （5 分）
2015～2016 学年第 1 专业班级（教学班）
(c) 二义性文法 课程名称 编译原理
选修
、限修
考试形式:开卷 、闭卷√ 张炳武
命题教师
系（所或教研室）主任审批签名
L → id , M L1 L → id M →
分析栈 int T Tx T x, T x, M1 T x, M1 y T x, M1 y, T x, M1 y, M2 T x, M1 y, M2 z T x, M1 y, M2 L T x, M1 L TL D
输入串 int x,y,z x,y,z x,y,z ,y,z y,z y,z ,z z z
(a) 以输入串 int x,y,z 为例，指出在 LR 分析期间，当 L 归约时，类型信息，即 T 的综合属性 T.type 在属性栈上的位置； （5 分） (b) 保持 L 产生式的右递归形式，给出该语法制导定义在 LR 分析下的属性栈代码实现。 如需要，可适当修改文法 G3 的产生式； （10 分） (c) 给出一个 S 属性定义来完成相同工作，如需要，可修改文法 G3 的产生式。 （10 分）
S
0 1 0 1 1 0
1 1 2 3 0 0
1
4
(
S
I4: S
) S（S）.
I3: S S
S（S . ） S .（ S ）
命题教师注意事项:1、主考教师必须于考试一周前将“试卷 A” 、 “试卷 B”经教研室主任审批签字后送教务科印刷。 2、请命题教师用黑色水笔工整地书写题目或用 A4 纸横式打印贴在试卷版芯中。
课程名称 编译原理
属性栈代码
Val[ntop] := INT Val[ntop] := REAL AddType( id.entry, Val[top-1] ) AddType( id.entry, Val[top-1] ) Val[ntop] := Val[top-2] 修改后产生式（左递归） 1 2 3 4 5 D → L T → int T → real L → L1,id L → T id T.type := INT T.type := REAL L.in := L1.in; AddType( id.entry, L1.in ) AddType( id.entry, T.type ); L.in := T.type 修改后语义规则（左递归）
合
肥
工
业
大
学
试
卷 （ A √ 、 B ） 参考解答：
学分 课程性质:必修 选修 、限修 考试形式:开卷 、闭卷√ 张炳武 命题教师 系（所或教研室）主任审批签名
2015～2016 学年第 1 专业班级（教学班）
学期 课程代码 考试日期
课程名称 编译原理
110 if t3 > temp goto 112 111 goto 119 112 t4 = j + gap 113 t5 = 4 * t4 114 t6 = 4 * j 115 t7 = a[t6] 116 a[t5] = t7 117 j = j – gap 118 goto 106 119 t8 = j + gap 120 t9 = 4 * t8 121 a[t9] = temp 122 i = i + 1 123 goto 102 124 t10 = gap – 1 125 gap = t10 / 3 126 goto 100 127 … … 6 下面是某C源程序。请补全其在linux下经编译后所得的汇编代码。 【10分】 void test(int * a , int * b) { int c ; c = * a ; *a = *b; *b = c; } .file "a.c" .text .globl test .type test,@function test: pushl %ebp movl %esp, %ebp subl movl , %eax movl , %eax movl %eax, -4(%ebp) movl , %edx movl , %eax movl , %eax movl %eax, movl movl , %eax movl %eax, leave