2015蒋立源《编译原理》第3版桂电期末复习作业答案概论.docx

《编译原理》课后习题答案 第一章 解：源程序是指以某种程序设讣语言所编写的程序。IJ标程序是指编译程 序（或解释程序）将源程序处理加工而得的另一种语言（IJ标语言）的程 序。翻译程序是将某种语言翻译成另一种语言的程序的统称。编译程序与 解释程序均为翻译程序，但二者工作方法不同。解释程序的特点是并不先 将高级语言程序全部翻译成机器代码，而是每读入一条高级语言程序语 句，就用解释程序将其翻译成一段机器指令并执行之，然后再读入下一条 语句继续进行解释、执行，如此反复。即边解释边执行，翻译所得的指令 序列并不保存。编译程序的特点是先将高级语言程序翻译成机器语言程 序，将其保存到指定的空间中，在用户需要时再执行之。即先翻译、后执 行。 解：一般说来，编译程序主要曲词法分析程序、语法分析程序、语义分析 程序、中间代码生成程序、代码优化程序.Ll标代码生成程序、信息表管 理程序、错误检查处理程序组成。 解：C 语言的关键字有：auto break CaSe Char COnSt COntinUe default do double else enum extern float for goto if int IOng register return ShOrt Signed SiZeOf Static StrUCt SWitCh typedef UniOn UnSigned VOid VOlatile Whileo上述关键字在C语言中均为保留 字。 解：C语言中括号有三种：｛｝，［］, O o其中，｛｝用于语句括号；［］用 于数组；O用于函数（定义与调用）及表达式运算（改变运算顺序）。 C语言中无END关键字。逗号在C语言中被视为分隔符和运算符，作为优 先级最低的运算符，运算结果为逗号表达式最右侧子表达式的值（如： （d,b,C,d）的值为 d） O 略 第二章 2 ?构造产生下列语言的文法 {anbn I n≥0) 解:对应文法为 G(S)二({S}, {a, b}, { Sf ￡ aSb },S) {anbmcp ∣n, m, p≥0} 解：对应文法为 G(S) = ({S, X, Y}, {a,b,c}, {S→aS X, X→bX Y, Y→cY ￡},S) {an # bn n≥0} U {cn # dn n≥O} 解:对应文法为 G(S) = ({S,X,Y}, {a,b, c,d,#}, {S→X, S→Y, X→aXb∣tt, Y →cYd∣# },S) {w#wr# I w?{O, 1}*, Wr 是 W 的逆序排列} 解:G(S) = ({S,W,R}, {O, 1,#}, {ST#, W→OWO∣1W1∣#},S) 任何不是以O打头的所有奇整数所组成的集合 解:G(S) = ({S,A,B,I, J}, {-,0, 1,2,3,4,5,6,7, 9},{S-J IBJ,B- OB IB e, I-J∣2∣4∣6∣8, Jδ, S) 所有偶数个0和偶数个1所组成的符号串集合 解：对应文法为 SfoA IBe AfOS lC BfoC ； IS CfIA OB 7 ?解: ^Cb是文法G[S]中的句子，相应语法树是： 最右推导：S=aAcB=aAcb=aacb 最左推导：S=aAcB=aacB=aacb aabacbadcd不是文法G[S]中的句子 因为文法中的句子不可能以非终结符d结尾 3) aacbccb不是文法G[S]中的句子 可知，aacbccb仅是文法G[S]的一个句型的一部分，而不是一个句子。 （4） aacabcbcccaacdca不是文法G[S]中的句子 因为终结符d后必然要跟终结符a,所以不可能出现…dc???这样的句子。 （5） aacabcbcccaacbca不是文法G[S]中的句子 由（1）可知：ddcb可归约为S,由文法的产生式规则可知，终结符C后不可能 跟非终结符S,所以不可能出现…CddCb…这样的句子。 证明：用归纳法于n, n=l时，结论显然成立。设n=k时，对于α 1 α 2... a kT*b, 存在Bi： i二l,2,..,k, Cl订*bi成立，现在设 a la 2... aka k+lT*b,因文法是前后文无关的，所以a 1 a 2…ak可推导 出b的一个前缀b, ak÷l可推导出b的一个后缀二b 〃（不妨称为b k÷l） o由归 纳假设,对于 b,存在 : i 二 l,2,..,k, b, = βlβ2... Bk,使得 aiT*bi成立,另外,我们有a k+lT*b（=b k+l）。即n=k+l时亦成立。证毕。 证明：（1）用反证法。假设a首符号为终结符时，B的首符号为非终结符。即 设：a =aω ； B=Aa且 a =* β O 由题意可知：θ=a