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

主要内容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并停机。”TMT得到TMM和它输入的串w的描述，它打印了M的描述M。然后递归定理展示怎样获得在输入w上的TMR，像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,+)是可判定的一个可判定性的理论一个可判定性的理论一个不可判定性的理论一个不可判定性的