计算理论导引 4 可判定性.pptVIP

四个语言类 一个图灵不可识别语言 ATM是一个不可判定的语言。但它是图灵可识别的。 现在介绍另一个语言，此语言甚至是不可识别的。 可以证明：如果一个语言和它的补都是图灵可识别的，则此语言也是可判定的。 这样，对任何不可判定语言，它或它的补至少有一个不是图灵可识别的。 一个语言的补是由不在此语言中的所有串构成的语言。 如果一个语言是一个图灵可识别语言的补集，则称它是补图灵可识别的 (co-TM recognizable )。 其它问题 本章小结 作业 4.1, 4.3, 4.6, 4.9, 4.12 停机问题是不可判定的 ‘Acceptance behavior’ of Mi on ?Mj? 图灵机 输入串 停机问题是不可判定的 ‘Deciding behavior’ of G on ?Mi,?Mj??，拟用对角线上反码构造图灵机D 停机问题是不可判定的 Disagreeing D has to occur in list as well… D也是一切合乎条件的TM 中的一个 ，所以也在其中， 下页 相反 相反 相反 相反 停机问题是不可判定的 相反 相反 相反 相反 Contradiction for D on input ?D?. 接受、拒绝都矛盾 ？ 一个图灵不可识别语言 定理4.16 一个语言是可判定的，当且仅当它既是图灵可识 别的，也是补图灵可识别的。 ? 如果 A 是可判定的，很容易看出 A 和它的补 ā 都是图灵可识别的，因为任何可判定语言都是图灵可识别的，且任何可判定语言的补也是可判定的。 ? 如果 A 和 ā 都是图灵可识别的， 令 M1 是 A 的识别器， M2是 ā 的识别器。 下列图灵机 M 是A 的判定： M＝“ 对于输入 w： 1) 在输入 w 上并行运行 M1 和 M2。 2) 如果 M1 接受，就接受；如果 M2 接受，就拒绝。” 一个图灵不可识别语言 定理4.16 一个语言是可判定的，当且仅当它既是图灵可识 别的，也是补图灵可识别的。 并行地运行两个机器指的是：M 有两个带，一个模拟 M1，另一个模拟 M2。此时 M 交替的模拟两个机器的一步，一直持续到其中之一接受。 现在证明 M 确实判定 A。任一个串 w 要么在 A 中，要么在 ā中。所以，M1 和 M2 必定有一个接受 w。因为只要 M1 或 M2 接受，M 就停机，所以 M 总会停机，因而它是个判定器。 此外，M 接受所有在 A 中的串，拒绝所有不在 A 中的串，故 M是 A 的判定器，因而 A 是可判定的。 一个图灵不可识别语言 推论4.17 ā TM 不是图灵可识别的。 反证法。因为 ATM 是图灵可识别的。如果ā TM也是图灵可识别的，则 ATM 将是可判定的。但定理4.9 说 ATM 不是可判定的，所以 ā TM肯定不是图灵可识别的。 直观理解。语言总集不可数，可识别的集合 A 是可数集合，其补集是不可数的，集合太大，当然不可识。 ATm 可识别， 可数集合 āTM 不可数 co-TM recognizable 语言族B~ TM-recognizable 语言族B TM decidable EQTM = { ?M1, M2? | M1和M2都是TM，且 L(M1)=L(M2) } 相等问题 ETM = { ?M? | M 是一个TM，且L(M)=? } 空问题 下面先给出Q到N的一个对应，这证明了Q是可数的，从而也就证明了本结论。给出已个Q到N的对应的简单方法：先列出Q的所 有元素，然后将此序列中的第一个元素与N中的1配对，将第二个元素与2配对，依此类推。注意，必须保证Q中的每个元素在此序列中只出现一次。 为得到这样序列，构造下面包含所有正有理数的矩阵，如图4-3所示，第 i 行包含所有分子为 i 的数，第 j 列包含所有分子为 j 的数。故(i/j)出现在策 i 行和第j列交叉处。 现在将此矩阵转化成一个序列。一个(行不通的)思路是： 序列以第一行的所有元素开始。但因为第一行是无限的，序 列将不会到达第二行，故此思路不好。换用下面的方法：从 角落开始，排列对角线上的所有元素，这些对象线已经附加 在图4-3中。第一条对角线只包含一个元素（1/1），第二条对 角线包含两个元素(2/1和1/2)。所以此序列的前三个元素是 (1/1 ，2/1和1/2)。第三条对角线上有麻烦，它包含3/1 ，2/2和 1/3 。如果简单地将它们加到序列中，就重复了1/1 =2/2。为 避免重复，忽略引起重复的元素