计算理论导引 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 一个语言是可判定的，当且仅当它既是图灵可识 别的，也是补图灵可识别的。 ? 如