北京化工大学信息科学与技术学院计算机系

计科0601~0605 编译原理 编译原理复习北京化工大学信息科学与技术学院计算机系

●内容简介 • 参考书籍 • 考试时间 • 考试题型 • 考试范围 • 内容概述 • 例题解答 Compilers:Principles, Techniques,and tools 编译原理 Compiler Construction Principle and Pratice 编译原理及实践 2007年12月31日 8:00~10:00 计科0501 教102 计科0502 教102 计科0503 教103 计科0504 教103 计科0505 教201 卷面题型： • 证明题 • 计算题平时成绩： • 上机 • 考勤考试时间 • 词法分析 • 上下文无关文法及分析 • 自顶向下的分析方法 • 自底向上的分析方法 • 语义分析 • 中间代码生成 • 代码优化考试题型考试范围内容简介内容概述例题解答

内容概述 ●内容概述

符号处理 前端后端错误处理 ●编译器的功能组织结构图 ●内容概述词法分析语法分析语义分析中间代码生成中间代码优化目标代码生成源程序目标程序

例题解答 编译程序的功能组织结构图词法分析（正则表达式→NFA → DFA → DFA 最小化）句型→推导的语法树文法←→语言←→句子自顶向下语法分析 (LL(1)) 自底向上语法分析 (LR(0)、SLR(1)、LR(1)、LALR(1)) 语义分析中间代码中间代码优化

1 . 编译程序的功能和组织结构 符号处理前端后端错误处理词法分析语法分析语义分析中间代码生成中间代码优化目标代码生成源程序目标程序

2.请构造与正则式R=(a*b)*ba(a|b)* 等价的状态最少的DFA（确定有限自动机）。解： (1) NFA (2) NFA → DFA (3) DFA 最小化

4.（1）设有文法G[S]=({b},{S,B},S, {S →b|bB,B→bS}),该文法所描述的语言是_________。（2）已知语言L={anbbn|n ≥1}，则_______文法可以产生语言L。（3）设有文法G[I]：I→I1 | I0 | Ic | a | b | c 该文法的句子有________ ①ab0 ②a0c01 ③aaa ④bc10

4.（1）设有文法G[S]=({b},{S,B},S, {S →b|bB,B→bS}),该文法所描述的语言是L（G[S]={b2i+1|i ≥0} （2）已知语言L={anbbn|n ≥1}，则 Z → aAb A → aAb | b 上述文法可以产生语言L。（3）设有文法G[I]：I→I1 | I0 | Ic | a | b | c 该文法的句子有 ②④ 。 ①ab0 ②a0c01 ③aaa ④bc10

5.设有文法G[S]：S→EE→Aa | bBA→cA|dB→cB|d构造其LR(0)分析表并利用分析表判断bccd是否为文法G[S]的句子。

6.（1）设有文法exp → exp + term | exp - term | term该文法消除左递归后为 _________。（2）LALR(1)文法均为LR(1)文法（T/F？）

7. 对于文法lexp→atom|listatom→number|identifierlist→(lexp-seq)lexp-seq→lexp-seq lexp | lexp1) 消除左递归。2) 为得出的文法的非终结符构造First集合和Follow集合。解：lexp-seq->lexp lexp-seq’ lexp-seq’->lexp lexp-seq’| ε First(lexp) = { n, i, ( } ,Follow = { $,n,i,(,) } First(atom) = { n, i } ,Follow = { $,n,i,(,) } First(list) = {(} ,Follow = { $,n,i,(,) } First(lexp-seq) = { n,i,( } ,Follow = { ) } First(lexp-seq’) = {ε,n,i,( } ,Follow = { ) }

8.说明以下的文法是LR(1)文法但不是LALR(1)文法：S → a A d | b B d | a B e | b A eA→ cB→ c

9.在一个移入-规约的分析中采用以下的语法制导的翻译模式，在按一产生式规约时，立即执行括号中的动作。A → aB {print “0”}A → c {print “1”}B→ Ab {print “2”}当分析器的输入为aacbb时，打印的字符串是什么？

A A → aB {print “0”}A → c {print “1”}B→ Ab {print “2”} B a ⑤ 分析器输入为aacbb，打印的字符为 12020 b A ④ a B ③ b A ② c ①

10. 请写出TINY program三地址码及其四元式表示。 read x ; { input an integer } if 0 < x then { don’t compute if x <= 0 } fact:=1; repeat fact:=fact*x; x:=x-1 until x=0; write fact { output factorial of x } ends

三地址码 read xt1=x>0 if_false t1 goto L1 fact=1 label L2 t2=fact*x fact=t2 t3=x-1 x=t3 t4= x= =0 if_false t4 goto L2 write fact label L1 halt 四元式 (sub, x, 1, t3 ) (asn, t3, x, _ ) (eq, x, 0, t4 ) (if_f, t4, L2, _) (wri, fact, _, _ ) (lab, L1, _ , _ ) halt, _, _, _ ) (rd, x , _ , _ ) (gt, x, 0, t1 ) (if_f, t1, L1, _ ) (asn, 1,fact, _ ) (lab, L2, _ , _ ) (mul, fact, x, t2 ) (asn, t2, fact, _ )

北京化工大学 信息科学与技术学院计算机系