计算理论习题标准答案CHAP2new.docVIP

2.2 a. 利用语言A={ambncn | m,n?0}和A={anbncm b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 证明：a.先说明A,B均为上下文无关文法，对A构造CFG C1 S?aS|T|? T?bTc|? 对B,构造CFG C2 S? 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对补运算不封闭。 2.4和2.5 给出产生下述语言的上下文无关文法和PDA，其中字母表?={0,1}。 {w | w至少含有3个1} S→A1A A→0A|1A|? ? ?,1?? 1, ??1 0, ??? ?,1?? ?,1?? {w | w以相同的符号开始和结束} S→0A0|1A1 A→0A|1A|? 1, 1,??1 1,??? 0,??? 0,??0 1,1?? 0,0?? {w | w的长度为奇数} S→0A|1A A→0B|1B|? B→0A|1A 1, 1,??? 0,??? 1