计算理论课后题及答案2.docVIP

第三章 上下文无关语言 3.1 略。 3.2 a. 利用语言A={ambncn | m,n(0}和A={anbncm | m,n(0}以及例3.20，证明上下文无关语言在交的运算下不封闭。 b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 证明：a.先说明A,B均为上下文无关文法，对A构造CFG C1 S(aS|T|( T(bTc|( 对B,构造CFG C2 S(Sc|R|( R(aRb 由此知 A,B均为上下文无关语言。 但是由例3.20, A∩B={anbncn|n(0}不是上下文无关语言，所以上下文无关语言在交的运算下不封闭。 b.用反证法。假设CFL在补运算下封闭，则对于(a)中上下文无关语言A,B，,也为CFL，且CFL对并运算封闭，所以也为CFL，进而知道为CFL，由DeMorgan定律＝A∩B，由此A∩B是CFL,这与(a)的结论矛盾，所以CFL对补运算不封闭。 3.3 略。 3.4和3.5 给出产生下述语言的上下文无关文法和PDA，其中字母表(={0,1}。 {w | w至少含有3个1} S→A1A1A1A A→0A|1A|( {w | w以相同的符号开始和结束} S→0A0|1A1 A→0A|1A|( {w | w的长度为奇数} S→0A|1A A→0B|1B|( B→0A|1A {w | w的长度为奇数且正中间的符号为0} S→0S0|1S1|0S1|1S0|0 {w | w中1比0多} S→A1A A→0A1|1A0|1A|AA|( {w | w=wR} S→0S0|1S1|1|0 空集 S→S 3.6 给出产生下述语言的上下文无关文法： 字母表{a,b}上a的个数是b的个数的两倍的所有字符串组成的集合。 S→bSaSaS|aSbSaS|aSaSbS|( b．语言{anbn|n(0}的补集。见问题3.25中的CFG: S→aSb|bY|Ta T→aT|bT|( c．{w#x | w, x({0,1}*且wR是x的子串}。 S→UV U→0U0|1U1|W W→W1|W0|# V→0V|1V|( d．{x1#x2#(#xk|k(1, 每一个xi({a,b}* , 且存在i和j使得xi＝xjR}。 S→UVW U→A|( A→aA|bA|#A|# V→aVa|bVb|#B|# B→aB|bB|#B|# W→B|( 3.7 略。 3.8 证明在3.1节开始部分给出的文法G2中，字符串the girl touches the boy with the flower有两个不同的最左派生，叙述这句话的两个不同意思。 句子 (名词短语动词短语 (复合名词动词短语 (冠词名词动词短语 (a_名词动词短语 (a_girl_动词短语 (a_girl_复合名词 (a_girl_动词?名词名词名词名词名词 i, j, k(0}({0i#02i | i(0}。 b. 取s=0p#02p, 则对于任意划分s=xyz(|xy|(p, |y|0), xynz=0p+i#02p(A, 所以不是正则的。 3.14 用定理3.6中给出的过程，把下述CFG转换成等价的乔姆斯基范式文法。 A(BAB|B|( B(00|( 解：添加新起始变元S0, 去掉B(( S0(A S0(A A(BAB|B|( A(BAB|AB|BA|B|( B(00|( B(00 去掉A((, 去掉A(B S0(A S0(A A(BAB|AB|BA|B|BB A(BAB|AB|BA|00|BB B(00 B(00 去掉S0(A, 添加新变元 S0(BAB|AB|BA|00|BB S0(VB|AB|BA|UU|BB A(BAB|AB|BA|00|BB A(VB|AB|BA|UU|BB B(00 B(UU V(BA U(0 问题 3.15 证明上下文无关语言类在并,连接和星号三种正则运算下封闭。 A(B 方法一：CFG。设有CFG G1＝(Q1,(,R1,S1)和G2=(Q2,(,R2,S2)且L(G1)=A, L(G2)=B。构造CFG G=(Q,(,R,S0)，其中 Q= Q1(Q2({S0}, S0是起始变元，R= R1(R2({S0( S1|S2}. 方法二：PDA。 设P1=(Q1,(,(1,(1,q1,F1)识别A，P2=(Q1,(,(2,(2,q2,F2)是识别B。 则如下构造的P=(Q,(,(,(,q0,F)识别A(B，其中 Q=Q1(Q2({q0}是状态集， (＝(1((2，是栈字母表， q0是起始状态， F＝F1(F2是接受状态集， (是转移函数，满足对任意q(Q, a(((,b((( (