计算理论导引可计算理论的高级专题.pptVIP

朴秀峰 xfpiao@126.com 主要内容 6.1 递归定理 6.1.1 自引用 6.1.2 递归定理的术语 6.1.3 应用 6.2 逻辑理论的可判定性 6.2.1 一个可判定的理论 6.2.2 一个不可判定的理论 6.3 图灵可归约性 6.4 信息的定义 6.4.1 极小长度的描述 6.4.2 定义的优化 6.4.3 不可压缩的串和随机性 递归定理 递归定理是一个数学结论，在可计算性理论的高级研究中起着重要的作用。 考察与生命科学有关的一个悖论： 1) 生物都是机器。 2) 生物都能自再生。 3) 机器不能自再生。 设有构造机器 B 的机器 A：A 肯定比 B 复杂，但一个机器不会比它自己更复杂。因此没有机器能够制造它自己，故自再生是不可能的。？？ 制造能生产自己的机器是可能的。 递归的意义 自己调用自己 从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事，讲的故事是：“从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事，讲的故事是……” 自引用 图灵机 SELF 图灵机 SELF 图灵机 SELF 图灵机 SELF 容易用任何程序设计语言实现这个构造，即得到一个程序，输出就是它自己。 也可用自然语言实现： 打印这个句子 考虑下面的变换 打印下面语句的两个副本，在第二个副本上加引号； “打印下面语句的两个副本，在第二个副本上加引号；” 本例中，B 部分的构造是如下的句子： 打印下面语句的两个副本，在第二个副本上加引号； A 部分与之相同，只是用引号将之括起来。 A 提供了 B 的一个副本给 B。 递归定理 递归定理 递归定理的术语 在设计图灵机算法时，可用如下方式使用递归定理。 如果你正在设计一个图灵机 M，则可以在 M 的算法的非形式描述中包含如下的短语： “得到自己的描述M”。一旦得到自己的描述，M 就能像使用其他已计算出来的值一样使用这个描述。 例如，M 可以简单打印出 M；或者计算 M 中的状态数；或模拟 M。 用递归定理来描述机器 SELF： SELF = “对于任意输入： 1) 利用递归定理得到它自己的描述 SELF； 2) 打印 SELF。” 递归定理的术语 递归定理展示了怎样实现“获得自己的描述”的构造。 为了产生机器 SELF，首先写下以下机器 T： T = “对于输入 M, w ： 1) 打印 M 并停机。” TM T 得到 TM M 和它输入的串 w 的描述，它打印了 M 的描述 M。然后递归定理展示怎样获得在输入 w 上的 TM R，像 T 在输入 R, w 上那样操作。因此 R 打印出 R 的描述，恰好是机器 SELF 所需要得到的。 递归定理的应用 计算机病毒是一个计算机程序，它被设计成在计算机中传播它自己。为了实现自我复制的基本任务，可能使用到递归定理证明中的结构。 递归定理的应用 递归定理的应用 递归定理的应用 递归定理的应用 主要内容 6.1 递归定理 6.1.1 自引用 6.1.2 递归定理的术语 6.1.3 应用 6.2 逻辑理论的可判定性 6.2.1 一个可判定的理论 6.2.2 一个不可判定的理论 6.3 图灵可归约性 6.4 信息的定义 6.4.1 极小长度的描述 6.4.2 定义的优化 6.4.3 不可压缩的串和随机性 逻辑理论的可判定性 数理逻辑是数学的一个分支，它研究数学本身。 数理逻辑关心如下问题：什么是定理？什么是证明？什么是真？算法能判定哪些命题是真的？所有真命题都是可证的吗？ 关心的焦点：能否确定一个数学命题是真是假，以及这种问题的可判定性。 逻辑理论的可判定性 逻辑理论的可判定性 公式 公式是字母表上的良构串。 形如 Ri (x1, x2, … , xj) 的串是原子公式，值 j 是关系符号 Ri的元数。 一个良构公式中所有出现的相同关系符号必须有相同的元数。 一个串∮如满足一下条件，则是一个公式： 1) 是一个原子公式； 2) 具有形式∮1∧ ∮2 或 ∮1∨ ∮2或 ┐∮1。 其中∮1和∮2 是更小的公式。 3) 具有形式∮1∧∮ 2 或∮1∨∮2 或 ?∮1。 其中 ?x[∮1] 或 ?x[∮1]，其中 ∮1 是更小的公式。 公式 辖域：紧跟在量词化变元后的一对括号中的部分。 前束范式：所有量词都出现在公式的前面。 自由变元：没有被量词的辖域所约束的变元。 句子或命题：没有自由变元的公式。 逻辑理论的可判定性 逻辑理论的可判定性 逻辑理论的可判定性 逻辑理论的可判定性 一个可判定性的理论 Th(N, +)是可判定的 一个可判定性的理论 Th(N, +)是可判定的 一个可判定性的理论 一个可判定性的理论