计算理论习题答案chap2new.pdfVIP

m n n n n m 2.2 a. 利用语言 A={a b c | m,n0}和 A={a b c | 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 均为上下文无关语言。 n n n 但是由例 3.20, A∩B={a b c |n0}不是上下文无关语言，所 以上下文无关语言在交的运算下不封闭。 b.用反证法。假设 CFL 在补运算下封闭，则对于(a) 中上下文无 关语言 A,B ，A ,B 也为 CFL，