W5.1 证明EQ CFG 是不可判定的。
解：只须证明ALL CFG ≤m EQ CFG 即可。
构造CFG G 1，使L(G 1)=∑*。
设计从ALL CFG 到EQ CFG 的归约函数如下： F=“对于输入＜G ＞，其中G 是CFG ：1）输出＜G,G 1＞。
”若＜G ＞∈ALL CFG ，则<G,G 1>A ∈EQ CFG 。
若＜G ＞∉ALL CFG ，则<G, G 1>∉EQ CFG 。
F 将ALL CFG 归约到EQ CFG 即ALL CFG ≤m EQ CFG∵ALL CFG 是不可判定的，∴EQ CFG 是不可判定的。
5.2证明EQ CFG 是补图灵可识别的。
证明：注意到A CFG ={<G,w>|G 是能派生串w 的CFG}是可判定的。
构造如下TM ： F=“输入<G,H>，其中G,H 是CFG ，1) 对于字符串S 1, S 2,⋯，重复如下步骤。
2) 检测S i 是否可以由G 和H 派生。
3) 若G 和H 中有一个能派生w ，而另一个不能，则接受。
”F 识别EQ CFG 的补。
5.3 略。
5.4 如果A ≤m B 且B 是正则语言，这是否蕴涵着A 也是正则语言？为什么？ 解：否。
例如：对非正则语言A={0n 1n |n ≥0}和正则语言B={0}，可以构造一个可计算函数f 使得：f(w)=⎩⎨⎧≠=n n nn 10w 1,10w 0, 于是w ∈A ⇔f(w)∈B,故A ≤m B 。
5.5 证明A TM 不可映射规约到E TM 。
证明：反证法假设A TM ≤m E TM ， 则有TM m TM E A ≤。
而A TM 的补不是图灵可识别的，从而可知E TM 的补也不是图灵可识别的。
下面构造一个识别E TM 的补的图灵机S ：S=“输入<M>，M 是TM,1) 对i=1,2,…重复下一步。
2) 对S 1,S 2,…,S i 模拟M 运行i 步，若有接受，则接受。
