计算理论导引 6 可计算理论的高级专题.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 容易用任何程序设计语言实现这个构造，即得到一个程序，输出就是它自己。 也可用自然语言实现： 打印这个句子 考虑下面的变换 打印下面语句的两个副本，在第二个副本上加引号； “打印下面语句的两个副本，在第二个副