哈尔滨工程大学计算理论(最新版)课后习题及答案第5部分.docxVIP

W5.1 证明EQCFG是不可判定的。解：只须证明ALLCFG≤mEQCFG 即可。构造CFG G1，使L(G1)=∑*。设计从ALLCFG到EQCFG的归约函数如下：F=“对于输入＜G＞，其中G是CFG：输出＜G,G1＞。”若＜G＞ALLCFG，则G,G1AEQCFG 。若＜G＞ALLCFG，则G, G1EQCFG。F将ALLCFG 归约到EQCFG 即ALLCFG≤mEQCFG∵ALLCFG是不可判定的，∴EQCFG是不可判定的。5.2证明EQCFG是补图灵可识别的。证明：注意到ACFG={G,w|G是能派生串w的CFG}是可判定的。构造如下TM：F=“输入G,H，其中G,H是CFG，对于字符串S1, S2,，重复如下步骤。检测Si是否可以由G和H派生。若G和H中有一个能派生w，而另一个不能，则接受。”F识别EQCFG的补。5.3 略。5.4 如果AmB且B是正则语言，这是否蕴涵着A也是正则语言？为什么？解：否。例如：对非正则语言A={0n1n|n0}和正则语言B={0}，可以构造一个可计算函数f使得：f(w)=于是wAf(w)B,故AmB。5.5 证明ATM不可映射规约到ETM。证明：反证法假设ATMmETM，则有。而ATM的补不是图灵可识别的，从而可知ETM的补也不是图灵可识别的。下面构造一个识别ETM的补的图灵机S：S=“输入M，M是TM,对i=1,2,…重复下一步。对S