玉德俊基于递归定理的自复制机.pptxVIP

学习是一种习惯 基于递归定理的自复制机 集智俱乐部 1 自复制机器的悖论 生物 机器 生物是大自然设计的，通过有机体构成的，通过能量和物质进行运转的整体。 机器是人为设计的，通过无机物构成，按照设计通过能量和物质进行运转的整体。 生物可以通过物质和能量使得自身进行生长和变化。 机器可以加工和制造别的机器。 生物能够通过各种手段进行自我繁殖和再生。 机器不能够自我繁复和再生。 自复制机器的悖论： 1） 生物都是按照物理和化学定理运行的机器 2）生物都能够自再生 3）机器不能够自再生 ( 如汽车的生产线) 机器到底是否能够制造自已？ 2 递归定理—自指 如何包含对自身的描述？ 1） 引号外的表示操作 2）引号内的表示操作对象 删除“小明起床了”中的第一个字 明起床了 打印下面语句的两个副本，在第二个副本上加上引号： “小明起床了” 小明起床了 “小明起床了” 打印下面语句的两个副本，在第二个副本上加上引号： “打印下面语句的两个副本，在第二个副本上加上引号：” 打印下面语句的两个副本，在第二个副本上加上引号： “打印下面语句的两个副本，在第二个副本上加上引号：” 2 递归定理—自指 Quine： 以哲学家 Willard van Orman Quine (1908-2000) 而命名，表示一个可以生成他自己的完全的源代码的程序。 在代码中，存在两部分代码，一部分是运行代码，一部分是数据，数据本身去掉引号以后也可以运行 X Φ（X） s = def PrintSelf(Input): print s = + chr(047） + chr(047） + chr(047） + Input + chr(047） + chr(047） + chr(047） + \\n\\n + Input + \\n\\n + PrintSelf(s)‘ def PrintSelf(Input): print s = + chr(047） + chr(047） + chr(047） + Input + chr(047） + chr(047） + chr(047） + \n\n + Input + \n\n + PrintSelf(s) PrintSelf(s) main(a) { printf(a,34,a=main(a) {printf(a,34,a=%c%s%c,34）；},34）； } Demo1-自打印 3 冯.诺依曼 自复制自动机结构 自复制自动机理论： 冯从二战以后开始对计算机感兴趣，思考关于大自然中的系统（生物自动机）与 模拟和数字计算机（人造自动机）的关系，1948年开始陆续讲座，一共五次，最后一次是1952年，1966年Burks出版的， 自动机理论的轮廓：它的结构、内容以及相关的问题、应用以及数学形式；他比较了人工自动机与生物自动机；最后，他形式化地给出了两个自动机理论的基本问题并初步进行了解答，这就是：一个可靠的系统是如何利用不可靠的元件构造的？什么是一个自复制自动机的基本逻辑构成？ 3 冯.诺依曼 自复制自动机结构 按照冯诺依曼的设想，其定义的自动机的几个特点： 1）能够达到任意的复杂度 2）能够自我复制 3）能够发生突变并传递给复制的后代，但不影响后代的自复制能力 4）这些突变以后的机器是可以连接在一起的 自动机按照以下的方式制造其它的自动机：在一个平面上漂着母自动机，周围是无穷无尽的零件海。母自动机在存储器中包含有将要制造的子自动机的描述，并按照描述，捡起所需的零件装到正确的位置上去。 P 是机器中可以运行的部分 G是子自动机或者是子元件的描述 M= P+G 3 冯.诺依曼 自复制自动机结构 整个自复制同样是包含了对自身的描述构造而成： A：通用构造器，能够从零件池中把扫描G，生成X的实例，即把Φ（X）变成X B：一个拷贝器，能够扫描G然后另外一个G, 生成两个Φ（X） C：控制器 : C先命令B拷贝两份描述Φ(X)；然后再命令A按照Φ(X)来实际制造X，并把其中的1份Φ(X)拷贝去掉；最后，C会把X和剩下的那份Φ(X)捆在一起，并把它们从机器A+B+C的组合中间分离出去，这样一来，我们就制造出了X+Φ(X)这样的组合。 整个自复制过程如下 1、 现有自动机(A+B+C)，并附有它的描述Φ(A+B+C)。 2、 从(A+B+C)+Φ(A+B+C)开始复制流程。 3、 C控制B拷贝两份描述，得到：(A+B+C)+Φ(A+B+C)+Φ(A+B+C)。 4、 C命令A按照Φ(A+B+C))来实际制造出A+B+C， 得到(A+B+C)+( A+B+C)+Φ(A+B+C)+Φ(A+B+C)。 5、 最后C把新得到的自动机A+B+C和它的描述Φ(A+B+C)捆在一块，并把自