西北工业大学版(蒋立源第三版)编译原理课后习题答案.docx
《西北工业大学版(蒋立源第三版)编译原理课后习题答案.docx》由会员分享,可在线阅读,更多相关《西北工业大学版(蒋立源第三版)编译原理课后习题答案.docx(119页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第一章习题解答1解:源程序是指以某种程序设计语言所编写的程序。目标程序是指编译程序(或解释程序)将源程序处理加工而得的另一种语言(目标语言)的程序。翻译程序是将某种语言翻译成另一种语言的程序的统称。编译程序与解释程序均为翻译程序,但二者工作方法不同。解释程序的特点是并不先将高级语言程序全部翻译成机器代码,而是每读入一条高级语言程序语句,就用解释程序将其翻译成一段机器指令并执行之,然后再读入下一条语句继续进行解释、执行,如此反复。即边解释边执行,翻译所得的指令序列并不保存。编译程序的特点是先将高级语言程序翻译成机器语言程序,将其保存到指定的空间中,在用户需要时再执行之。即先翻译、后执行。2解:一
2、般说来,编译程序主要由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、信息表管理程序、错误检查处理程序组成。3解:C语言的关键字有:auto break case char const continue default do double else enum extern float fbr goto if int long register return short signed sizeof static struct switch typedef union unsigned void volatile whileo上述关键字在C语言中均为保留
3、字。4解:C语言中括号有三种:,()其中,用于语句括号:口用于数组;()用于函数(定义与调用)及表达式运算(改变运算顺序)。C语言中无END关键字。逗号在C 语言中被视为分隔符和运算符,作为优先级最低的运算符,运算结果为逗号表达式最右侧子表达式的值(如:(a,b,c,d)的值为d)。5略第二章习题解答1.(1)答:26*26=676(2)答:26*10260(3)答:%1乂,20再1,.丹9,犯,32,22再00声01,.,222,共26+26*36+26*36*36=34658个2 .构造产生下列语言的文法(1) anbn|nO解:对应文法为 G(S)=(S,a,b, S-| aSb ,S)
4、(2) anbmcp|n,m,p0解:对应文法为 G(S)=(S,X,Y,ahc,SfaS|X,XbX|Y,Y-*cY|E ,S)(3) an # bn|n20 U cn # dn|n20解:对应文法为 G(S)=(S,X,Y,a,b,c,d,#,Sf X, S-Y,XaXb|#,Y-cYd|#,S)(4) w#wr#| w?O,l*,wr 是 w 的逆序排列解:G(S)=(S,W,R,O,1,#,S-W#, W-*OWO|1W1|#,S)(5)任何不是以0打头的所有奇整数所组成的集合解:G(S)=(S,A,B,IJ,-,0,l,2,3,4,5,6,7,8,9,S I J|2|4|6|8, J
5、a1|3|5|7|9,S)(6)所有偶数个0和偶数个1所组成的符号串集合解:对应文法为 SOA|lB|e, AOS|1CB-OC|1SC1A|OB3 .描述语言特点(1) Sf lOSOSf aAAf bAAf a解:本文法构成的语言集为:L(G尸(10)nabma0n|n,m20。(2) Sf SS Sf lAOAf lAOAf 解:L(G)=1 n 1 On 11 n20n21 nmOnm |nl,n2,nmO;且 nl,n2,nm 不全为零该语言特点是:产生的句子中,0、1个数相同,并且若干相接的1后必然紧接数量相同连续的0。(3) SlASfBOAf lAAfCBfBOBYC-*1C0
6、C e解:本文法构成的语言集为:L(G尸lplnOn|pl,nOUlnOnOq|ql,nO,特点是具有IplnOn或InOnOq形式,进一步,可知其具有形式ln0mn,m20,且n+m0。(4) Sf bAdcA-AGSGf e Aa解:可知,S=baSndc n20该语言特点是:产生的句子中,是以ba开头de结尾的串,且ba、de个数相同。(5) SfaSSSfa解:L(G)=a(2n-l)|nNl可知:奇数个 a4 .解:此文法产生的语言是:以终结符al、a2an为运算对象,以八、V、为运算符,以、为分隔符的布尔表达式串5 .5解:由于此文法包含以下规则:AA-e,所以此文法是0型文法。5
7、.2证明:略6 .解:(1)最左推导:程序T分程序T标号:分程序TL:分程序TL:标号:分程序TL: L:分程序TL: L:无标号分程序TL: L:分程序首部;复合尾部TL: L:分程序首部;说明;复合尾部T L: L: begin说明;说明;v复合尾部T L: L: begin d;说明:复合尾部T L: L: begin d; d:复合尾部T L: L: begin d; d;语句;复合尾部)T L: L: begin d; d; s;复合尾部.T L: L: begin d; d; s;语句endT L: L: begin d; d; s; s end最右推导:程序T分程序T标号:分程序
8、T标号,:标号:分程序T标号:标号:无标号分程序T标号:标号:分程序首部:复合尾部Tv标号:标号:分程序首部;语句;复合尾部Tv标号:v标号:分程序首部;v语句;语句;endTv标号:标号:v分程序首部;v语句;s; endTaAcB=aAcb=aacb最左推导:S=aAcB=aacB=aacb(2) aabacbadcd不是文法GS中的句子因为文法中的句子不可能以非终结符d结尾(3) aacbccb不是文法GS中的句子可知,aacbccb仅是文法GS的一个句型的一部分,而不是一个句子。(4) aacabcbcccaacdca不是文法GS中的句子因为终结符d后必然要跟终结符a,所以不可能出现d
9、e这样的句子。(5) aacabcbcccaacbca不是文法GS中的句子由(1)可知:aacb可归约为S,由文法的产生式规则可知,终结符c后不可能跟非终结符 S,所以不可能出现caacb这样的句子。8 .证明:用归纳法于n, n=l时,结论显然成立。设n=k时,对于a 1 a 2. a kT*b,存在B i: i=l,2,.,k, aiT*bi 成立,现在设a 1 a 2. akak+lT*b,因文法是前后文无关的,所以a 1 a 2a k可推导出b的一个前缀 b, ak+1可推导出b的一个后缀=b(不妨称为b k+1)。由归纳假设,对于b,存在B i : i=l,2,.,k, b=B 1
10、B2.Bk,使得a iT*bi成立,另外,我们有a k+lT*b(=b k+1).即n=k+l时亦成立。证毕。9 .证明:(1)用反证法。假设a首符号为终结符时,B的首符号为非终结符。即设:a=a3; B =A 3,且 a =0由题意可知:a=a3TTA3,=p ,由于文法是CFG,终结符a不可能被替换空串或非终结符,因此假设有误。得证;(2)同(1),假设:B的首符号为非终结符时,a首符号为终结符。即设:a=as: P =A 3,且a=a3TTA3,=p ,与(1)同理,得证。10 .证明:因为存在句子:abc,它对应有两个语法树(或最右推导):STABTAbeTabeSTDCTDcTabc
11、所以,本文法具有二义性。11 .解:(1) STABTAaSbTAacbTbAacbTbbAacbTbbaacb上面推导中,下划线部分为当前句型的句柄。对应的语法树为:全部的短语:第一个a (al)是句子bbaacb相对于非终结符A(A1)(产生式A?a)的短语(直接短语);blal是句子bbaacb相对于非终结符A2的短语;b2blal是句子bbaacb相对于非终结符A3的短语;c是句子bbaacb相对于非终结符S1(产生式S?c)的短语(直接短语);a2cb3是句子bbaacb相对于非终结符B的短语:b2blala2cb3是句子bbaacb相对于非终结符S2的短语;注:符号的下标是为了描述
12、方便加上去的。(2)句子(b) a (a)(b)的最右推导:ST (AS) T (A (b) T (SaA)(b) T (Sa (a)(b)T (b) a (a)(b)相应的语法树是:(3)解:iii*i+ t对应的语法树略。最右推导:E TT=F=FP t T FE t T FET+ t T FEF+ t T FEP+ t T FEi+ tTFTi+ t T FTF*i+ t TFTP*i+ t T FTi*i+ t TFFi*i+ t T FPi*i+ fTFii*i+ t T Pii*i+ t Tiii*i+ t12 .证明:充分性:当前文法下的每一符号串仅有一个句柄和一个句柄产生式T对
13、当前符号串有唯一的最左归约T对每一步推导都有唯一的最右推导T有唯一的语法树。必要性:有唯一的语法树T对每一步推导都有唯一的最右推导T对当前符号串有唯一的最左归约T当前文法下的每一符号串仅有一个句柄和一个句柄产生式13 .化简下列各个文法解:SbCACdAf cSA| cCCCf cS | c(2)解:SaAB | fA | gAe | dDADf eABf f(3)解:S-ac14 .消除下列文法中的e产生式解:Sf aAS | aS | bAf cS(2)解:S-aAA | aA | aA-bAc| be | dAe| de15 .消除下列文法中的无用产生式和单产生式(1)消除后的产生式如下
14、:Sf aB | BCB-DB | bC-bDi | DB(2)消除后的产生式如下:S-SA|SB|()|(S)|SA-0|(S)|SBa|S(3)消除后的产生式如下:E-E+T | T*F |(E)| P t F|iTf T*F |(E)| P t F | iFf P t F |(E)| iPf (E)| i第三章习题解答1.从略2.3假设W:表示载狐狸过河,G:表示载山羊过河,C:表示载白菜过河用到的状态1:狐狸和山羊在左岸2:狐狸和白菜载左岸3:羊和白菜在左岸4:狐狸和山羊在右岸5:狐狸和白菜在右岸6:山羊和白菜在右岸F:全在右岸4证明:只须证明文法G:A-a B或Aa (A,BGVN,
15、 a GVT+)等价于 Gl:A-aB 或 Afa(aCVT+)G1的产生式中A-aB,则B也有Bf bC ,Cf cD.所以有 A fabcB,a,b,cCVT,B SVN所以与G等价。2) G的产生式Afa B, a CVT+,因为a是字符串,所以肯定存在着一个终结符a,使A f aB可见两者等价,所以由此文法产生的语言是正规语言。56根据文法知其产生的语言是L=ambnci| m,n,i =1可以构造如下的文法VN=S,A,B,C,VT=a,b,cP= S -aA, AaA, A-bB, BbB, B-cC, CcC, C-c其状态转换图如下:7(1)其对应的右线性文法是:A f OD,
16、 BOA,B-*1C,C-111 F,C1|OA,F-O|OE|1 A,D-OB|1 C,E-*1 C|OB(2)最短输入串Oil(3)任意接受的四个串011,0110,0011,000011(4)任意以1打头的串.8从略。9(2)相应的3型文法(i)S -aAS-bS A-aAA-bB B-a|aB B-*b|bB(ii) S-aA|a S-bB B-aB | bB A-aB A-b|bA(iii) S-*aA S-bB A-bAA-aC B-aB B-*bC C-a|aC C-*b|bC(iv) S-bS S-aA A-aC A-bB BaB B-bC C-a|aC C-b|bC(3)用自
17、然语言描述输入串的特征(i)以任意个(包括0)b开头,中间有任意个(大于1) a,跟一个b,还可以有一个由a,b组成的任意字符串(ii)以a打头,后跟任意个(包括0) b(iii)以a打头,中间有任意个(包括0) b,再跟a,最后由一个a,b所组成的任意串结尾或者以b打头,中间有任意个(包括0) a,再跟b,最后由一个a,b所组成的任意串结尾(iv)以任意个(包括0) b开头,中间跟aa最后由一个a,b所组成的任意串结尾或者以任意个(包括0) b开头,中间跟ab后再接任意(包括0) a再接b,最后由一个a,b所组成的任意串结尾10(1)G1的状态转换图:G2的状态转换图:(2)G1等价的左线性
18、文法:SBb,SDd,D-C,B-Db,CBc,BAb,Bf ,Af aG2等价的右线性文法:SdD,S-aB,D-C,B-abC,B-bB,BbA,Bf e ,CcA,Aa(3)对G1文法,abb的推导序列是:S=aA=abB=abb对Gl文法,abb的推导序列是:S=Bb=Abb=abb对G2文法,aabca的推导序列是:S=Aa=Cca=Babca=aabca对G2文法,aabca的推导序列是:S=aB=aabC=aabcA=aabca(4)对串acbd来说,G1,G1文法都不能产生。11将右线性文法化为左线性文法的算法:(1)对于G中每一个形如A-aB的产生式且A是开始符,将其变为B-
19、a,否则若A不是开始符,B-Aa;(2)对于G中每一个形如A-*a的产生式,将其变为S-Aa12(1)状态矩阵是:记S=qO B=ql A B=q2S A=q3,最小化和确定化后如图(2)记S=qO,A=ql,BS=q2最小化和确定化后的状态转换图如下13 (1)将具有e动作的NFA确定化后,其状态转换图如图:记 SO,Sl,S3)=qO Sl=ql S2 S3=q2S3=q3(2)记S=qO Z=ql U R=q2S X=q3YU R=q4X S U=q5YU R Z=q6Z S=q714 (1)从略(2)化简后SO和SI作为一个状态,S5和S6作为一个状态。状态转换图如图15从略。16从略
20、。(l)r*表示的正规式集是 e ,r,rr,rrr,(e |r)*表示的正规式集是 e , e e, U r,rr,rrr,= e ,r,rr,rrr,e |rr*表示的正规式集是 e ,r,rr,rrr,(r*)*=r*=,r,rr,rrr,所以四者是等价的。(2)(rs)*i表示的正规式集是 e ,rs,rsrs,rsrsrs,r =r,rsr,rsrsr,rsrsrsr, r(sr)*表示的正规式集是 r,sr,srsr,srsrsr,*= r,rsr,rsrsr,rsrsrsr,所以两者等价。18写成方程组S=aT+aS(l)B=cB+c(2)T=bT+bB(3)所以 B=c*cT=
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 西北工业大学 蒋立源 第三 编译 原理 课后 习题 答案
限制150内