哈工大编译原理习题及答案1.pdf
1.1 何谓源程序、目标程序、翻译程序、编译程序和解释程序?它们之间可能有何种关系?1.2 一个典型的编译系统通常由哪些部分组成?各部分的主要功能是什么?1.3 选择一种你所熟悉的程序设计语言,试列出此语言中的全部关键字,并通过上机使用该语言以判明这些关键字是否为保留字。1.4 选取一种你所熟悉的语言,试对它进行分析,以找出此语言中的括号、关键字END以及逗号有多少种不同的用途。1.5 试用你常用的一种高级语言编写一短小的程序,上机进行编译和运行,记录下操作步骤和输出信息,如果可能,请卸出中间代码和目标代码。第一章习题解答1.解:源程序是指以某种程序设计语言所编写的程序。目标程序是指编译程序(或解释程序)将源程序处理加工而得的另一种语言(目标语言)的程序。翻译程序是将某种语言翻译成另一种语言的程序的统称。编译程序与解释程序均为翻译程序,但二者工作方法不同。解释程序的特点是并不先将高级语言程序全部翻译成机器代码,而是每读入条高级语言程序语句,就用解释程序将其翻译成一段机器指令并执行之,然后再读入下一条语句继续进行解释、执行,如此反复。即边解释边执行,翻译所得的指令序列并不保存。编译程序的特点是先将高级语言程序翻译成机器语言程序,将其保存到指定的空间中,在用户需要时再执行之。即先翻译、后执行。2.解:一般说来,编译程序主要由词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、信息表管理程序、错误检查处理程序组成。3.解:C 语言的关键字有:auto break case ch ar const continue default do double else enum externfloat for goto if int long register return sh ort signed sizeof static struct switch typedef union unsignedvoid volatile wh ile。上述关键字在C 语言中均为保留字。4.解:C 语言中括号有三种:,()。其中,用于语句括号;口用于数组;O 用于函数(定义与调用)及表达式运算(改变运算顺序)。C 语言中无END关键字。逗号在C 语言中被视为分隔符和运算符,作为优先级最低的运算符,运算结果为逗号表达式最右侧F 表达式的值(如:(a,b,c,d)的值为 d)5.略第二章前后文无关文法和语言21设有字母表A1=a,b,,z,A2=设1,9 ,试回答下列问题:(1)字母表A1上长度为2 的符号串有多少个?(2)集合A1A2含有多少个元素?列出集合A 1(A1UA2)*中的全部长度不大于3 的符号串。22试分别构造产生下列语言的文法。(1)anbn|n&0);(2)a n bm cp|n,m,p2 0 ;(3)a n#bn|n O U cn#dn|n O;(4)w#wr#|we0,1)*,wr是将w中的符号按逆序排列所得的符号串;(5)任何不是以0开始的所有奇整数所组成的集合;(6)所有由偶数个0和偶数个1所组成的符号串的集合。2 3试描述由下列文法所产生的语言的特点(文法的开始符号均为S)。(1)S-1 0 S0 S-a A A-bA A-a(2)SfSSSTA OA f1 A 0 A f e(3)S-1 A S-B OA-1 A A-CB-B OB C C TC OC-e(4)S-bA dcA f A G SG f e A _*a(5)S-a SSS-a2 4设已给文法G=(VN,VT,P,S),其中:VN=SVT=a 1,a 2,a n,V.A,.P=S-a i|i=1,2,,n US-S,S-SVS,S-SA S ,试指出此文法所产生的语言。2 5考察文法G=(VN,VT,P,S),其中:VN=S,A,B,C,D,E,F,G VT=a ,P=SA B C,C-*B C,C-A,B A G E,B G-G B F,A G-A D,D B-B D,D E-*A E,F B-*B F,F E-E a,A A f e(1)指出此文法的类型;(2)证明此文法所产生的语言为L(G)=a t(n)|n 1)t (n)=E n i=1 i2 6设已给文法G E 程序:程序一 分程序I 复合语句(分程序一 无标号分程序I 标号:分程序 复合语句一 无标号复合语句I 标号:复合语句(无标号分程序一 分程序首部;复合尾部)无标号复合语句-begin 复合尾部 分程序首部-begin 说明|分程序首部;说明 复合尾部一 语句en d|语句;复合尾部 说明一d 语句一s 标号一L(1)给出句子L:L:begin d;d;s;s en d的最左推导和最右推导。(2)画出上述句子的语法树。2 7设已给文法G S:S f aAcBS-BdSBaScAB-*cABABaBA-aBcAaBb试检验下列符号串中哪些是G S 中的句子,给出这些句子的最左推导、最右推导和相应的语法树。(1)aacb(2)aabacbadcd(3)aacbccb(4)aacabcbcccaacdca(5)aacabcbcccaacbca28设G=(VN,VT,P,S)为CFG,a 1,a 2,,a n为V上的符号串,试证明:若a 1 a 2 a n*8则存在V上的符号串B1,B 2,,B n,使8=6 1 8 2 B n,且有ai*P i(i=1,2,n)29设G=(VN,VT,P,S)为CFG,a和B都是V上的符号串,且a*B,试证明:当a的首符号为终结符号时,B的首符号也必为终结符号;当8的首符号为非终结符号时,则a的首符号也必为非终结符号。210试证明:文法S-ABS-DCA-aAAaB-*bBcBf b cC f cCCf cD-aDbD-*ab为二义性文法。211对于下列的文法和相应的句子,试指出这些句子的全部短语;分别给出句子的最右推导,并指出各步直接推导所得句型的句柄。(1)S-ABS-cAbAAf aBaSbB-*cbbaacb(2)S f(AS)Sf(b)A f(SaA)A-(a)(b)a(a)(b)(3)E-E T+E-T T-T F*T-F F-F P t F-P P-E P-ii i i*i+t212在自底向上的分析中,用来归约句型句柄的产生式称为句柄产生式。试证明:一个文法是无二义性的,当且仅当此文法的每一句型至多只有一个句柄和一个句柄产生式。213化简下列各个文法。(1)SaABSSbCACdAf bABAf cSAA-*cCCB bABB cSBC-cSC fc(2)S-aA B S f EA-dDAA-eB-b E B f fC f cABCf dSDCaDeAE-fAEg(3)S-acS-bAA-cBC B-SAC-bCC 一 d214消去下列文法中的e产生式。(1)S-aASS-bAcSA-e(2)S-a AAA-bAcA-d AeA-e215消去下列文法中的无用产生式和单产生式。(1)S-a B S f BCAaAAf cA-aDbB-DBBf CDBC-b(2)SSAS-SBAfBBf SA-(S)S-A B-A-()(3)E f E+TE-TTf T*FTf FF-P t F F-P P-(E)P-i第二章习题解答1 .(1)答:2 6*2 6=6 7 6(2)答:2 6*1 0=2 6 0(3)答:a,b,c,.,z,a 0,al,a 9,a a.az,z z,a O O,a O l.z z z ,共26+26*36+26*36*36=34658 个2.构造产生下列语言的文法(1)a nb n|neO 解:对应文法为 G(S)=(S ,a,b ,S f e|a S b ),S)(2)a nb m c p l n,m,p O 解:对应文法为 G(S)=(S,X,Y,a,b,c ,S-a S|X,X-b X|Y,Y-c Y|e ,S)(3)a n#b n|nO u c n#d n|n?O 解:对应文法为 G(S)=(S,X,Y,a,b,c.d,#,S-X,S-Y,X-a Xb|#,Y-c Yd|#),S)(4)w#w r#|w?0,l *,w r 是 w 的逆序排列解:G(S)=(S(W,R ,0,1,#,S-W#,W-O WO|1W1|#,S)(5)任何不是以0 打头的所有奇整数所组成的集合解:G(S)=(S,A,B,I,J),-,0,1,2,3,4,5,6,7,8,9),S-J I I B J,B-O B|I B|e,I-J|2|4|6|8,j a i|3|5|7|9,S)(6)所有偶数个0 和偶数个1所组成的符号串集合解:对应文法为 S-O A|l B|e,A-O S|I C B-O C|1S C-l A l O B3.描述语言特点(1)$一10$0$f a A A f b A A-a解:本文法构成的语言集为:L(G)=(10)na b m a O n|n,m0。(2)S-*S S S-1A 0A-1A 0A-e解:L(G)=l nl 0nl l n20n2 I nm O nm|nl n2,nm O;且 nl,n2,nm 不全为零 该语言特点是:产生的句子中,0、1个数相同,并且若干相接的1后必然紧接数量相同连续的0。(3)S-l A S f B O A l A A f CB-B O B f CCf 1C0Cf e解:本文法构成的语言集为:L(G)=l p l nO n|pl,n20 U I nO nO q l q N l,n20,特点是具有I p l nO n或I nO nO q形式,进一步,可知其具有形式I nO m n,m 20,且n+m 0(4)b A d c A f A G S G f e A a解:可知,S=A=b a S nd c n0该语言特点是:产生的句子中,是以b a开头d e结尾的串,且b a、d e个数相同。(5)S a S S S a解:L(G)=a(2n-l)|nl 可知:奇数个 a4.解:此文法产生的语言是:以终结符a l、a 2-an为运算对象,以八、V、为运算符,以、为分隔符的布尔表达式串5.5.1解:由于此文法包含以下规则:A A-e,所以此文法是。型文法。5.2证明:略6解:(1)最左推导:(程序T 分程序T 标号:分程序TL:分程序TL:标号:分程序T L:L:分程序T L:L:无标号分程序T L:L:分程序首部;复合尾部T L:L:分程序首部;说明;复合尾部T L:L:b eg i n 说明;说明;复合尾部T L:L:b eg i n d;说明);复合尾部T L:L:b eg i n d;d;复合尾部T L:L:b eg i n d;d;语句);复合尾部T L:L:b eg i n d;d;s;复合尾部.T L:L:b eg i n d;d;s;语句endT L:L:b eg i n d;d;s;s end最右推导:程序 1 分程序 T 标号:分程序T 标号:标号):分程序)T 标号:标号:无标号分程序T 标号:标号:分程序首部;复合尾部T 标号:标号:分程序首部;语句;复合尾部)T 标号:标号:分程序首部);语句;语句;endT 标号:标号:分程序首部;语句;s:endT 标号:标号):分程序首部:s;s;endT 标号:标号:分程序首部;说明;s;s;endT 标号:标号:分程序首部;d;s;s;endT 标号:标号:b eg i n 说明;d;s;s;endT 标号:标号:b eg i n d;d;s;s;end丁 标 号):L:b eg i n d:d;s;s;endTL:L:b eg i n d;d;s;s;end(2)句子L:L:b eg i n d;d;s;s end的相应语法树是:7.解:a a c b是文法G S 中的句子,相应语法树是:最右推导:S=a A c B=a A c b=a a c b最左推导:S=a A c B=a a c B=a a c b(2)a a b a c b a d c d 不是文法G S 中的句子因为文法中的句子不可能以非终结符d 结尾(3)a a c b c c b 不是文法G S 中的句子可知,a a c b c c b 仅是文法G S 的一个句型的一部分,而不是一个句子。(4)a a c a b c b c c c a a c d c a 不是文法G S 中的句子因为终结符d 后必然要跟终结符a,所以不可能出现d e这样的句子。(5)a a c a b c b c c c a a c b c a 不是文法G S 中的句子由(1)可知:a a c b 可归约为S,由文法的产生式规则可知,终结符c 后不可能跟非终结符S,所以不可能出现c a a c b 这样的句子。8.证明:用归纳法于n,n=l 时,结论显然成立。设 n=k 时,对 于 a 1 a 2.a kT*b,存 在 B i:i=l,2,.,k,a i T*b i 成立,现在设a 1 Q 2.a ka k+l T*b,因文法是前后文无关的,所 以 a 1。2.a k 可推导出b的一个前缀b ,a k+1可推导出b的一个后缀二b (不妨称为b k+1)。由归纳假设,对于b,存 在 B i :b =B 1 B 2.B k,使得a i T*b i 成立,另外,我们有a k+l T*b (=b k+1)。即n=k+1时亦成立。证毕。9.证明:(1)用反证法。假 设 a首符号为终结符时,B的首符号为非终结符。即设:a 二,3;B 二 A 3,且 a =*B。由题意可知:a=a c o TTA(o =0,由于文法是CF G,终结符a 不可能被替换空串或非终结符,因此假设有误。得证;(2)同(1),假设:8 的首符号为非终结符时,a首符号为终结符。即设:。二 a 3;8=A3,且 a=a 3 T TAs,=P ,与(1)同理,得证。1 0 .证明:因为存在句子:a bc,它对应有两个语法树(或最右推导):S T AB T AbeT a beS T D C T D cT a bc所以,本文法具有二义性。1 1.解:(1)S T AB T Aa S bT Aa cbT bAa cbT bbAa cbT bba a cb上面推导中,下划线部分为当前句型的句柄。对应的语法树为:全部的短语:第一个a (a l)是句子bba a cb相对于非终结符A(Al)(产生式A?a)的短语(直接短语);bla l是句子bba a cb相对于非终结符A2 的短语;b2 bla l是句子bba a cb相对于非终结符A3 的短语;c是句子bba a cb相对于非终结符S 1 (产生式S?c)的短语(直接短语):a 2 cb3是句子bba a cb相对于非终结符B的短语:b2 bla la 2 cb3是句子bba a cb相对于非终结符S 2的短语;注:符号的下标是为了描述方便加上去的。(2)句 子(b)a (a)(b)的最右推导:S T (AS)T (A(b)T (S a A)(b)T (S a (a)(b)T (b)a (a)(b)相应的语法树是:(3)解:iii*i+t对应的语法树略。最右推导:E T T=F=FP f T FE t T FE T+t T FE F+t T FE P+f T FE i+fT FT i+t T FT F*i+f T FT P*i+f T FT i*i+t T FFi*i+f T FP i*i+tT Fii*i+t T P ii*i+t T iii*i+f1 2.证明:充分性:当前文法下的每一符号串仅有一个句柄和一个句柄产生式T对当前符号串有唯一的最左归约T对每步推导都有唯一的最右推导T有唯一的语法树。必要性:有唯的语法树T对每一步推导都有唯的最右推导T对当前符号串有唯的最左归约T当前文法下的每一符号串仅有一个句柄和一个句柄产生式1 3 .化简下列各个文法(1)解:S-bC AC dA-cS A|cC C C-cS|c(2)解:S-a AB|f A|gA-e|dD AD eAB f(3)解:S-*a c1 4 .消除下列文法中的e 产生式(1)解:S-a AS|a S|bA-cS(2)解:S-a AA|a A|a A-*bAc be|dAe de1 5 .消除下列文法中的无用产生式和单产生式(1)消除后的产生式如下:S-a B B CB-D B bC-bD-b|D B(2)消除后的产生式如下:S-S A S B I()I(S)|S A()|(S)|S B a|S(3)消除后的产生式如下:E-E+T|T*F|(E)|P t F|iTfT*F|(E)|P tF|iF-*P t F|(E)|iP-(E)|i第三章词法分析及词法分析程序3.1试用某种高级语言编写一个FORTRAN源程序的预处理子程序,其功能是:每调用它一次,即把源程序中的一个完整语句送入扫描缓冲区。要求删去语句中的注释行;删去续行标记字符,把语句中的各行连接起来,并在语句的末端加上语句结束符。此外,还要求此程序具有组织源程序列表输出的功能。3.2画出用来识别如下三个关键字的状态转移图。STEP STRING SWITCH3.3假定有一个猎人带着一只狼、一头山羊和一棵白菜来到一条河的左岸,拟摆渡过河,而岸边只有一条小船,其大小仅能装载人和其余三件东西中的一件,也就是说,每一次猎人只能将随行者中的一件带到彼岸。若猎人将狼和山羊留在同一岸上而无人照管,那么,狼就会将羊吃掉;如果猎人把山羊和白菜留在同-岸,山羊也会把白菜吃掉。现在,请你用状态转换图作为工具,描述猎人可能采取的种种摆渡方案,并从中找出可将上述三件东西安全地带到右岸的方案来。3.4设已给文法G=(V N,V T,P,S),其中,P仅含形如A-a BA f a a eV*T,BGVN的产生式,试证明:由此种文法所产生的语言是一正规语言。3.5试证明:任何有限个符号串所组成的集合L=xl,x3,x n x ie+都是3型语言。3.6试构造一右线性文法,使得它与如下的文法等价S-A B A f UTUf a|aUT-*b|bT B-c|cB并根据所得的右线性文法,构造出相应的状态转换图。3.7对于如题图3 7所示的状态转换图(1)写出相应的右线性文法;(2)指出它接受的最短输入串;(3)任意列出它接受的另外四个输入串;(4)任意列出它拒绝接受的四个输入串。题图373.8对于有限自动机M=(K,S,f,S O,Z)其中,K=SO,S1,S2,S3,S4,S5,S=a,b,Z=Sl,S4,S5 f由如下的状态转移矩阵给出:a b S O S 2 S I S I S 3 S 1 S 2 S O S 4 S 3 S O S 0 S 4 S 5 S 4 S 5 S 4 S O试找出一个长度最小的输入串,使得:(1)在识别此输入串的过程中,每一状态至少经历一次;(2)每一状态转换至少经历一次。3.9对于下列的状态转换矩阵:a b S n A S A A B B B B(i)初态:SB a b S A B A B A B B B(i i)初态:S终态:A a b S A B A C A B B C C C C(i i i)初态:S终态:A,C a b S A S A C B B B C C C C(i v)初态:S终态:C(1)分别画出相应的状态转换图;(2)写出相应的3型文法;(3)用自然语言分别描述它们所识别的输入串的特征。3.1 0对于下面所给的文法:G 1=(S,A,B,C,D ,a,b,c,d ,P l,S)P l由如下产生式组成:S-a A S-B A-a b SA f b B B-b B f c CC-D D-d D-*b B以及 G 2=(S,A,B,C,D ,a,b,c,d ,P 2,S)P 2由如下产生式组成:S-*A a S-*B A-*C cA B b B-B b B aC f D C-B a b D-*d(1)试分别对G 1和G 2构造相应的状态转换图(提示:对于右线性文法,可将形如C-D的产生式视为C-eD;而对左线性文法,则可将它视为C-De)。(2)对于G 1,构造一等价的左线性文法G J ;对于G 2构造一等价的右线性文法G 2。(3)对于G 1和G 1,分别给出如下符号串的推导序列:a b b a a b a b b b c d c b b对于G 2和G 2 分别给出如下符号串的推导序列:a a b a a a b c a d c a(4)试给出若干个不能由G 1或G 2产生的符号串,并验证它们同样不能用G 1 和G 2 产生。3.1 1分别构造将左线性文法转换为右线性文法以及将右线性文法转换为左线性文法的算法。3.1 2将如题图3 1 2所示的N F A确定化和最小化。题图3 1 23.1 3将如题图3 1 3所示的具有e动作的N F A确定化。题图3 1 33.1 4 将如题图3 1 4所示的有限自动机最小化。3.1 5 试用 种高级语言分别写出将N F A确定化以及将D F A最小化的算法。3.1 6构造一产生F O R T R A N语言C O M M O N语句的3型文法(假定分别用人和U代表标识符和整常数,它们都是终结符号,且假定数组的维数不加限定),构造相应的D F A,并写出描述C OMMON语句的正规式。3.1 7设r,s等为任意的正规式,试证明下列的关系式成立:(1)r*=(e|r)*=e|r r*=(r*)*(2)(r s)*r=r (s r)*(3)(r|s)*=(r*s*)*=(r*|s*)*3.1 8对于解习题36所得的文法,试用正规式描述它所产生的语言。a b S 0 S l S 5S l S 2 S 7S 2 S 3 S 5S 3 S 5 S 7S 4 S 5 S 5S 5 S 3 S l S 6 S 3S OS 7 S O S 1 S 8 S 3 S 8(1)初态:S O终态:S I,S 2,S 6,S 7 口 a b S O S 5 S 2S 1 S 6 S 2s 2 S O口 S 4s 3 S 3 S 5S 4 S 6 S 2S 5 S 3 S 0 S 6 S 3 S 1 初态:S O终态:S 4,S 5,S 6题图31 43.1 9对于习题31 0所给的文法G 1和G 2,试分别用正规式描述它们所产生的语言。3.20设有如下的文法G 标号说明:标号说明 L ABEL 标号表 标号表一d 标号段 标号段一d 标号段 标号I;标号一d 标号段其中,L ABEL J J J J等为终结符号。(1)试求出描述此文法所产生语言的正规式;(2)构造识别此语言的具有最少状态的D F A。3.21求出描述习题37所给有限自动机所识别语言的正规式。3.22分别构造识别如下正规语言的D F A:(1)(0*|1)(1*0)*(2)(b I a (a a*b)*b)*(3)a (a b a b*a(b a b)*a)*b(4)(b|a a|a c|a a a|a a c)*(5)a (a b)*b (a|b)*a (a|b)*b (a|b)*3.23试设计一个识别器,它识别由下列英语单词:ONE,TW O,THR E E,,NINE,TE N,E LE V E N,TW E LV E,THIR TE E N,,NINE TE E N,TW E NTY,THIR TY,F OR TY,,NINE TY,HU ND R E D所表示的从1到9 9 9间的任何整数(各单词间用空格分隔,如THR E E HU ND R E D F IF TYS IX),并将它们翻译为相应的阿拉伯数字(如356)作为输出。3.24设有辅助定义式D O二a|bD 1=D OD OD 2=D 1 D 1D n=D n-l D n-l试回答如下问题:(1)由D n所表述的正规集是什么?(2)如果将D n中所出现的D n-1用前面已定义的辅助定义式反复进行替换,则可最终将D n化 为 =a,b 上的正规式,此正规式有多长?(3)用来识别D n的D F A至多需要几个状态?3.25试将LE X中的“动作子程序”A i的功能加以扩充,使之可用来生成文木编辑程序。3.26指出下列LE X正规式所匹配的字符串:*(2)a-z A-Z 0-9$0-9|r n ,(L n W)+(5)(L n|n )*3.27写出一个LE X正规式,它能匹配C语言的所有无符号整数(例如:OX 89 a b,0 1 23,45,Z ,t x a b ,0 1 2,等等)。3.28写出一个LE X正规式,它能匹配C语言的标识符。3.29编写一个LE X源程序,它将 个正文文件中的全部小写字母均换为大写字母,并将其中的制表字符、空白字符序列均用单个空格字符进行替换(提示:在语义动作中使用全程变量y y te xt)。3.3 0编写一个L E X源程序,它能统计一个P A S C A L程序中所含用户定义之标识符个数,并能找出最长标识符中的字符个数(提示:使用全程变量y y te xt及y y l e ng)。上 机 实 习 题对于如下文法所定义的P A S C A L语言子集,试编写并上机调试一个词法分析程序:程序一 变量说明B E G I N 语句表E N D.变量说明-V A R 变量表:类型;I 空 变 量 表)一 变量表,变量I 变量 类型一 I N T E G E R 语句表一 语句表;语句I 语句 语句-赋值语句|条件语句|WH I L E语句|复合语句|过程定义 赋值语句一 变量:=算术表达式 条件语句-*I F 关系表达式T H E N 语句E L S E 语句WH I L E语句一WH I L E 关系表达式D O 语句 复合语句一B E G I N 语句表E N D 过程定义-P R O C E D UR E 标识符 参数表;B E G I N 语句表E N D 参数表一(标识符表)I 空 标识符表一 标识符表,标 识 符)|标识符 算术表达式一 算术表达式+项I 项 项一 项*初等量I 初等量 初等量一(算术表达式)1 变量I 无符号数 关系表达式 算术表达式 关系符 算术表达式 变量一 标识符 标识符-标识符 字母I 标识符 数学I 字母 无符号数一 无符号数 数字I 数字 关系符-=|=|字母-A|B|C|-|X|Y|Z 数字-0|1|2|-:8|9 空一要求和提示:(1)单词的分类。可将所有标识符归为一类;将常数归为另类;保留字和分隔符则可采取词类。(2)符号表的建立。可事先建立保留字表,以备在识别保留字时进行查询。变量名表及常数表则在词法分析过程中建立。(3)单词串的输出形式。所输出的每一单词,均按形如(C L A S S,VA L UE)的二元式编码。对于变量标识符和常数,C L A S S字段为相应的类别码,VA L UE字段则是该标识符、常数在其符号表中登记项的序号(要求在变量名表登记项中存放该标识符的字符串,其最大长度为四个字符;常数表登记项中则存放该整数的二进制形式)。对于保留字和分隔号,由于采用一词一类的编码方式,所以仅需在二元式的C L A S S字段上放置相应的单词的类别码,VA L UE字段则为“空”。不过,为便于查看由词法分析程序所输出的单词串,也可以在C L A S S字段上直接放置单词符号串本身。(4)可以仿照程序3 4的结构来编写上述词法分析程序,但其中的若干语义过程有待于具体编写。(5)写出它的L E X源程序,并上机进行处理。第三章习题解答1.从略2.3假设W:表示载狐狸过河,G:表示载山羊过河,C:表示载白菜过河用到的状态1:狐狸和山羊在左岸2:狐狸和白菜载左岸3:羊和白菜在左岸4:狐狸和山羊在右岸5:狐狸和白菜在右岸6:山羊和白菜在右岸F:全在右岸4证明:只须证明文法G:A-a B 或 A f a (A.B e V N,a e V T+)等价于 G l:A f a B 或 A f a (a C V T+)G 1 的产生式中A-a B,则 B也有B-b C ,C-c D .所以有 A a b c B ,a,b,c G V T,B G V N所以与G等价。2)G的产生式A-a B,a G V T+,因 为a是字符串,所以肯定存在着一个终结符a,可见两者等价,所以由此文法产生的语言是正规语言。56根据文法知其产生的语言是L=ambnci|m,n,i S 1)可以构造如下的文法VN=S,A,B,C,VT=a,b,c)P=S-aA,AfaA,AbB,BbB,BcC,CcC,Cc其状态转换图如下:使 A-aB7(1)其对应的右线性文法是:A f OD,B-OA,B-IC,C-1|1 F,C-1|OA,FO 0E|1A,D-OB|IC,E1C|OB(2)最短输入串Oil(3)任意接受的四个串011,0110,0011,000011(4)任意以1打头的串.8从略。9(2)相应的3 型文法(i)S -a A S f b S A a A A-b B B-a|a B B b b B(i i)S a A|a S-b B B-a B|b B A-a B A-b j b A(i i i)S f a A S b B A b A A a C B a B B b C C a|a C C b|b C(i v)S-*b S S-a A A-a C A-*b B B-*a B B-b C C-a|a C C-b|b C(3)用自然语言描述输入串的特征(i)以任意个(包括0)b 开头,中间有任意个(大于1)a,跟一个b,还可以有一个由a,b 组成的任意字符串(i i)以a 打头,后跟任意个(包括0)b(i i i)以a 打头,中间有任意个(包括0)b,再跟a,最后由一个a,b 所组成的任意串结尾或者以b 打头,中间有任意个(包括0)a,再跟b,最后由一个a,b 所组成的任意串结尾(i v)以任意个(包括0)b开头,中间跟a a 最后由一个a,b 所组成的任意串结尾或者以任意个(包括0)b开头,中间跟a b 后再接任意(包括0)a再接b,最后由一个a,b 所组成的任意串结尾1 0 (1)G 1 的状态转换图:(2)G 1 等价的左线性文法:S-*B b,S-*D d,D-*C,B-D b,C B e,B f A b,B-*,A *aG 2 等价的右线性文法:S-*d D,S-a B,D f C,B-*a b C,B-*b B,B-*b A,B-,C-c A,A-*a(3)对G 1文法,a b b的推导序列是:S=a A=a b B=a b b对G l 文法,a b b的推导序列是:S=B b=A b b=a b b对G 2文法,a a b c a的推导序列是:S=A a=C c a=B a b c a=a a b c a对G 2 文法,a a b c a的推导序列是:S=a B=a a b C=a a b c A=a a b c a(4)对串a c b d来说,G l,G r文法都不能产生。1 1将右线性文法化为左线性文法的算法:。(1)对于G中每一个形如A-a B的产生式且A是开始符,将其变为B-a,否则若A不是开始符,B-A a;。(2)对于G中每一个形如A-a的产生式,将其变为S-A a1 2 (1)abvs(S.A)AB状态矩阵是:IB力V记=qO B =ql A B =q2 S A =q3,最小化和确定化后如图(2)记 S =qO,A l=ql,B S =q2最小化和确定化后的状态转换图如下1 3 (1)将具有e动作的N F A确定化后,其状态转换图如图:记 S 0,S l,S 3 =q0 S l =ql S 2$3 =q2 S 3 =q3(2)记 S =qO Z =ql U R =q2 (S X =q3 Y U R =q4 X S U =q5 Y U R Z =q6 Z S =q714(1)从略 化 简 后 SO和 S1作为一个状态,S5和 S6作为一个状态。状态转换图如图15从略。16从略。(1)r*表示的正规式集是,r,rr,rrr,(e|r)*表示的正规式集是 e,e e,U r,rr,rrr,=s,r,rr,rrr,)e I rr*表示的正规式集是 e,r,rr,rrr,(r*)*=r*=(e ,r,rr,rrr,)所以四者是等价的。(2)(rs)*r表示的正规式集是 e ,rs,rsrs,rsrsrs,r=r,rsr,rsrsr,rsrsrsr,)r(sr)*表示的正规式集是 r e ,sr,srsr,srsrsr,=r,rsr,rsrsr,rsrsrsr,)所以两者等价。1 8写成方程组S=a T+a S(l)B=c B+c (2)T=b T+b B(3)所以 B=c*c T=b*b c*cS=a*a b*b c*c Gl:S=a A+B(l)B=c C+b(2)A=a b S+b B (3)C=D(4)D=b B+d(5)把(4)(5)代 入(2),得 B=c(b B+d)+b=c b B+c d+b 得 B=(c b)*(c d|b),代 入(3)得A=a b S+b(c b)*(c d|b)把它打入 得S=a (a b S+b (c b)*(c d|b)+(c b)*(c d I b)=a a b S+a b(c b)*(c d|b)+(c b)*(c d|b)=(a a b)*(a b (c b)*(c d|b)|(c b)*(c d|b)G 2:S=A a+B (1)A=C c+B b (2)B=B b+a(3)C=D+B a b (4)D=d(5)可得 D=d B=a b*C=a b*a b|b A=(a b*a b|b)c +a b*bS=(a b*a b b)c a+a b*b a +a b*=(a b*a b|b)c a|a b*b a I a b*2 0识别此语言的正规式是S=L A B E L d(d|,d)*;从略。21从略。22构造N F A(1)构造如下它-其余从略。2 3 下面举一个能够识别1,2,3,1 0,2 0,1 0 0 的例子,读者可以推而广之。%#i n c l ud e i n c l ud e#i n c l ud e d e f i n e O N I d e f i n e T W 2ttd e f i n e T U R E 3 d e f i n e T E 1 0 d e f i n e T W E N T 2 0#d e f i n e H U N D R E 1 0 0 d e f i n e W H I T E 9 9 9 9%uppe r A-Z%O N E re turn O N;T W O re turn T W;T H R E E re turn T H R E;T E N re turn T E;T W E N T Y re turn T W E N T;H U N D R E D re turn H U N D R E;,z+1 tre turn W H I T E;n re turn O;%ma i n(i n t a rg c,c h a r*a rg v )i n t c,i=0;ch ar tmp30;if(argc=2)(if(yyin=fopen(argv1,r/z)=NULL)(printf(cant open%sn?/,argvl);exit(0);)wh ile(c=yylex()!=0)(switch(c)(case ON:c=yylex();if(c=0)goto i+=l;label;c=yylex();if(c=HUNDRE)i+=100;else i+=l;break;case TW:c=yylex();c=yylex();if(c=HUNDRE)i+=2 0 0;e l se i+=2;b re a k;c a se T W E N T:i+=2 0;b re a k;c a se T E:i+=1 0;b re a k;d e f a ul t:b re a k;)/*w h i 1 e*/l a b e l:pri n tf(%d n ,i);re turn;)2 4 (1)D n 表示的正规集是长度为2 n 任意a和 b 组成的字符串