第六章、可归性.pptVIP

第二部分 可计算理论;可归约性-1;可归约性-2;6.1 语言理论中的不可判定问题-1;6.1 语言理论中的不可判定问题-2;6.1 语言理论中的不可判定问题-3;证明 假设TM R判定HALTTM，构造TM S来判定ATM： S＝“在输入＜M，w＞上，此处＜M，w＞是TM M和串w的编码： 在输入＜M，w＞上运行TM R。 如果R拒绝(不停机)，则拒绝。 如果R接受．则在w上模拟M，直到它停机。 如果M接受，则接受；如果M拒绝，则拒绝。” 显然，如果R判定HALTTM，则S判定ATM。因为ATM是不可判定的，故HALTTM也必定是不可判定的。; ETM＝{＜M＞| M是一个TM，且L(M)＝Φ} 定理6.2 ETM是不可判定的。 证明思路：设R是判定ETM的一个TM．考虑怎样用R来构造判定ATM的TM S。构造S的一个想法是：在输入＜M＞上运行R且看它是否接受： 如果是．则知道L(M)是空集，因此也就知道M不接受w。 如果否，则知道L(M)不是空集，即M接受某个串，但不知道M是否接受这个特定的串w。;修改＜M＞，使得M所能识别的唯一的串就是w。故它的语言不空当且仅当它接受w 。 再用R来检查这个修改型是否识别空语言。 如果它接受，则此修改型机器不接受任何串，因而M也就不接受 w。 如果它拒绝，此修改型机器只接受w，因而M也就接受w。;证明 修改型机器M1。 M1＝“在输入x上， 如果x≠w，则拒绝。 如果x＝w，则在x上运行M，当M接受时，就接受，” 这个机器以w作为它的描述的一部分。检查x=w是否成立的方法很显然，即扫描输入并且一个字符一个字符地将它和w比较，就可确定它们是否相同。 再假设TM R判定ETM。如下构造判定ATM的TM S： ; S＝“在输入＜M，w＞上，此处＜M，w＞是TM M和串w的编码： 用M和w的描述来构造上述TM M1。 在输入＜M1＞上运行R。 如果R接受(空语言)、则拒绝；如果R拒绝，则接受。” 如果R是ETM的判定器，则S就是ATM的判定器。而ATM的判定器是不存在的，故我们知道ETM必定是不可判定的。 ; REGULARTM＝{＜M＞M是一个TM，且L(M)是一个正则语言} 定理6.3 REGULARTM是不可判定的。 证明思路 假设REGULARTM是由TM R判定的，构造一个判定ATM的TM S。构造S的思路是：先取S的输入为＜M，w＞，再修改M使得：修改后的TM识别一个正则语言，当且仅当M接受w。 ; 设计M2使得：当M不接受w时，它识别非正则语言{0n1n|n≥0}；当M接受w时，它识别正则语言∑*。必须说明S是怎样从M和w来构造这样的M2的。方法是：M2自动接受所有在{0n1n|n≥0}中的串，另外，如果M还接受w，则M2就接受所有其它的串。 证明 设R是判定REGULARTM的一个TM，构造判定ATM的TM S。; S＝“对于输入＜M，w＞，其中M是TM，w是串： 构造下述TM M2： M2=“在输入x上： 如果x具有形式0n1n，则接受。 如果x不具有此形式，则在输入w上运行M。如果M接受w，则接受。” 在输入＜M2＞上运行R。 如果R接受，则接受；如果R拒绝，则拒绝。”;定理6.4 EQTM是不可判定的。 EQTM＝{＜M1，M2＞|M1和M2都是TM，且L(M1)＝L(M2)} 证明思路 假设EQTM是可判定的。如果能给出从ETM到EQTM的归约，就证明了ETM也是可判定的。 ETM是检查一个TM的语言是否为空的问题。EQTM是检查两个TM的语言是否相同的问题。; 如果两个语言中碰巧有一个为空，只要检查另一个TM的语言是否为空即可，即检查语言ETM。故当两个TM中有一个是用来识别空语言时，问题EQTM 就是问题ETM。 证明 设TM R判定EQTM，构造判定ETM的TM S：; S＝“对于输入＜M＞，其中M是TM； 在输入＜M，M1＞上运行R．其中M1是拒绝所有输入的图灵机。 如果R接受，则接受；如果R拒绝，则拒绝。” 如果R判定EQTM，则S判定ETM。但由定理6.2，ETM是不可判定的。故EQTM也必定是不可判定的。;计算历史方法是证明ATM可归约到某些语言的重要技术。在证明某个问题的不可判定性时，如果此问题涉及的是检查某样东西的存在性，则这个方法常常很有用。例如，这个方法曾用来证明希尔伯特第十问题的不可判定性。希尔伯特第十问题是检查一个多项式的整数根的存在性。 图灵机在输入上的计算历史就是当这个图灵机处理此输入时所经过的格局序列。它是这个机器所经历的计算的完整记录。 ;定义6.5 设M是一个图灵机，w是一个串。M在w上的一个接受计算历史是一个格局序列C1，C2，…，Cl，其