第六章：可规约性PPT课件

3
主要内容
6.1 语言理论中的不可判定问题 6.2 一个简单的不可判定问题（自学） 6.3 映射可归约性
5.3.1 可计算函数 5.3.2 映射可归约性的形式定义
4
语言理论中的不可判定问题
ATM={ <M, w> | M 是一个 TM，且接受 w } ATM 是不可判定的，即确定一个图灵机是否接受一个给定
构造 S 的一个想法是：输入<M> 上运行 R 且看它是否接受。
如果是，知道 L(M) 是空集，因此M不接受w。
如果 R 拒绝 w，则只知道 L(M) 不空，即 M 接受某个串，但是不知道是
否接受这个特定的 w。
因此，不能在<M> 上运行 R。
目标：修改<M>，使得除了 w 外，M 对所有串都拒绝。
10
语言理论中的不可判定问题
另一个与图灵机有关的计算问题也很有意思，该问题是： 给定一个图灵机和一个可由某个更简单的计算模型识别的 语言，测定此图灵机是否识别此语言。
例如：令REGULARTM是测定一个给定的图灵机是否有一 个与之等价的有穷自动机问题，则这个问题与测定一个给定 的图灵机是否识别一个正则语言的问题相同。
REGULARTM = { <M> | M 是一个 TM，且 L(M) 是一个正则语言}
REGULARTM 是不可判定的。（定理5.3） 检查关于语言的任何一个性质是否可由图灵机识别都是不可
判定的。（莱斯定理）
11
语言理论中的不可判定问题
EQTM = { M1, M2 | M1 和 M2 都是 TM，且 L(M1)=L(M2) }
定理 6.4
EQTM是不可判定的。
将 ETM 归约到 EQTM 。 设TM R判定EQTM。如下构造判定ETM 的TM S： S=“对于输入<M>，其中 M 是 TM：
1)在输入<M, M1>上运行 R，其中 M1 是拒绝所有输入的图灵机。 2)如果 R 接受，则接受；如果 R 拒绝，则拒绝。 如果 R 判定 EQTM，则 S 判定ETM。 但由定理5.2，ETM 是不可判定的，故 EQTM 也是不可判定的。
1
前言
本章讨论另外几个不可解的问题 。在讨论过程 中，将介绍 一个基本方法，可用来证明问题是计算上不可解的，这个 方法称为可归约性。
归约旨在将一个问题转化为加一个问题，且使得可以用第 二个问题的解来解第一个问题，在日常生活中，虽然不这 样称呼，但时常会遇见可归约性问题。
例如，在一个新城市中认路，如果有一张地图，事情就容 易了。这样，就将在城市认路问题归约为得到地图问题。
8
语言理论中的不可判定问题
ETM = { M | M 是一个TM，且L(M)= } 空问题
定理 6.2
ETM 是不可判定的。
先用标准术语来写在证明思路中描述的那个修改型机器M1. M1 = “在输入x上：
1) 如果 x≠w，则拒绝。 2) 如果 x=w，则在 x上运行M，当M接受时，就接受。” 这个机器以 w 作为它的描述的一部分。检查 x=w 是否成立的方法很显然， 即扫描输入并用一个字符一个字符地将它与 w 进行比较，就可确定它们是 否相同。
2
前言
可归约性总是涉及两个问题，称之为 A 和 B。如果 A 可归 约到 B，就可用 B 的解来解 A。
可归约性说的不是怎样去解 A 或 B，而是在知道 B 的解时 怎么去解 A。
归约的目的在于：将一个问题转化为另一个问题；且用第二 个问题的解来解第一个问题。
归约的应用（A 可归约到 B ） ➢ 如果 B 是可判定的，则 A 也是可判定的。 ➢ 如果 A 是不可判定的，则 B 也是不可判定的。
7
语言理论中的不可判定问题
ETM = { M | M 是一个TM，且L(M)= } 空问题
定理 6.2
ETM 是不可判定的。
假设 ETM 是可判定的，以此证明 ATM 是可判定的。 设 R 是判定 ETM 的一个 TM，考虑用 R 来构造判定 ATM 的 S。 当 S 收到输入<M, w>时，如何运行？
5
HALTTM 是不可判定的
定理 6.1
HALTTM是不可判定的。
证明思路：反证法。（将 ATM 归约到 HALTTM ） 假设 TM R 判定 HALTTM，利用 R 可以构造一个判定 ATM 的
TM S。 使用 R，可以检查 M 对 w 是否停机， 如果 M 对 w 不停机，S 就拒绝，因为 <M,w > 不在 ATM 中。 如果 M 对 w 确实停机，S 就模拟它，而不会有死循环的危险。 这样，如果 TM R 存在，就能判定 ATM。
9
语言理论中的不可判定问题
ETM = { M | M 是一个TM，且L(M)= } 空问题
定理 6.2
ETM 是不可判定的。
再假设 TM R 判定 ETM。如下构造判定 ATM 的 TM S: S = “在输入 <M, w >上，此处 <M, w > 是 TM M 和串 w 的编码：
1) 用 M 和 w 的描述来构造上述 TM M1。 2) 在输入 < M1 > 上运行 R。 3) 如果 R 接受，则拒绝；如果 R 拒绝，则接受。” 如果 R 是 ETM 的判定器，则 S 就是 ATM 的判定器。 而 ATM 的判定器是不存在的，故 ETM 必定是不可判定的。
的输入问题是不可判定的。 下面考虑一个与之相关的问题：HALTTM，即确定一个图
灵机对给定输入是否停机（通过接受或拒绝）问题。 若将 ATM 归约到 HALTTM，就可以利用 ATM 的不可判定性
证明HALTTM的不可判定性。 HALTTM 的形式化描述
HALTTM = { <M,w> | M是一个TM, 且对输入 w 停机}
6
语言理论中的不可判定问题
定理 6.1
HALTTM是不可判定的。
假设 TM R 判定 HALTTM，由之可以构造 TM S 来判定ATM，其构造如下： S=“ 在输入 <M, w >上，此处<M, w >是 TM M 和串 w 的编码：
1) 在输入 <M, w >上运行 TM R。 2) 如果 R 拒绝，则拒绝。 3) 如果 R 接受，则在 w 上模拟 M，直到它停机。 4) 如果 M 已经接受，则接受；如果 M 已经拒绝，则拒绝。” 显然，如果 R 判定 HALTTM，则 S 判定 ATM。 因为 ATM 是不可判定的，故 HALTTM 也必定是不可判定的。