计算理论习题答案CHAP2new.pdfVIP

m n n n n m 2.2 a. 利用语言A={a b c | m,n0}和A={a b c | m,n0}以及例3.20 ，证明上下文无关语言在交的运算下 不封闭。 b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 证明：a.先说明A,B均为上下文无关文法，对A构造CFG C1 SaS|T| TbTc| 对B,构造CFG C2 SSc|R| RaRb 由此知 A,B均为上下文无关语言。 n n n 但是由例3.20, A∩B={a b c |n0}不是上下文无关语言，所以上下文无关语言在交的运算下不封闭。 b.用反证法。假设CFL在补运算下封闭，则对于(a)中上下文无关语言A,B ， , 也为CFL ，且CFL对并运 算封闭，所以 也为CFL ，进而知道 为CFL ，由DeMorgan定律 ＝A ∩B ，由此A ∩B是 CFL,这与(a)的结论矛盾，所以CFL对补运算不封闭。 2.4和2.5 给出产生下述语言的上下文无关文法和PDA ，其中字母表={0,1}。 a. {w | w至少含有3个1} S→A 1A1A1A A→0A|1A| b. {w | w以相同的符号开始和结束} S→0A0|1A1 A→0A|1A| c. {w | w的长度为奇数} S→0A|1A A→0B|1B| B→0A|1A d. {w | w的长度为奇数且正中间的符号为0} S→0S0|1S1|0S1|1S0|0 e. {w | w中1比0多} S→A 1A A→0A1|1A0|1A|AA| R f. {w | w=w } S→0S0|1S1|1|0 g. 空集 S→S 2.6 给出产生下述语言的上下文无关文法： a ． 字母表{a,b}上a的个数是b的个数的两倍的所有字符串组成的集合。 S→bSaSaS|aSbSaS|aSaSbS| n n b ．语言{a b |n0}的补集。见问题3.25中的CFG: S→aSb|bY|Ta T→aT|bT| * R c ．{w#x | w, x {0,1} 且w 是x的子串}。 S→UV U→0U0|1U1|W W→W1|W0|# V→0V|1V| * R d ．{x #x ##x |k1, 每一个x {a,b} , 且存在i和j 使得x ＝x }。 1 2 k i i j S→UVW U→A| A→aA|bA|#A|# V→aVa|bVb|#B|# B→aB|bB|#B|# W→B| 2.8 证明上下文无关语言类在并,连接和星号三种正则运算下封闭。 a. AB 方法一：CFG。设有CFG G ＝(Q ,,R ,S )和G =(Q ,,R ,S )且L(G )=A, L(G )=B。构造CFG G 1 1 1 1 2 2 2 2 1 2 (Q,,R,S ) ，其中 0 Q= Q Q {S }, S 是起始变元，R= R R {S S |S }. 1 2 0 0 1 2 0 1 2 方法二：PDA。 设P =(Q ,, , ,q ,F )识别A ，P =(Q ,, , ,q ,F )是识别B。 1 1 1 1 1 1 2 1 2 2 2 2 则如下构造的P=(Q,,,,q ,F)识别AB ，其中 0 1) Q=Q1Q2 {q0}是状态集， 2) ＝ ，是栈字母表， 12 3) q 是起始状态， 0 4) F ＝F F 是接受状态集， 1 2 5) 是转移函数，满足对任意qQ, a,b (q,a,b)