为什么康威的人生游戏可以归类为通用机器?
我最近读到人造的生活,并且遇到了这样的说法: “康威的生命游戏显示出足够的复杂性,被归类为一个通用机器。 我只是对通用机器有一个粗略的了解,而维基百科只是给了我和维基百科一样接近理解。 我想知道有没有人可以对这个非常性感的陈述提出一些看法?
对我来说, 康威的生命游戏似乎是一个可爱的分心,带来了一些巨大的影响:我不能在这个和计算器之间做出跳跃吗? 那即使是我应该做的飞跃?
你可以从康威的生活中build立一个图灵机 – 虽然这将是非常可怕的。
关键是在滑翔机 (和相关的模式) – 这些(缓慢)沿着运动场,所以可以代表比特stream(一个滑翔机的存在1和不存在一个0)。 其他模式可以build立两个滑翔机stream(直angular),并发出对应于原始两个stream的AND / OR /等的另一个比特stream。
编辑:在这个LogiCell网站上有更多。
Paul Rendell 在Life中实现了一个图灵机 。 滑翔机代表信号,它们之间的相互作用是门和逻辑,它们一起可以创build实现图灵机的更大的组件。
基本上,任何能够实现AND,OR和NOT的自动机械都可以以足够复杂的方式组合在一起,成为图灵完备的。 这不是一个有用的计算方法,但它符合标准。
康威的“生活”可以进一步得到实现:不仅可以build立一个实现通用图灵机的生活模式,而且还可以创build一个冯·诺依曼“通用构造器”: http : //conwaylife.com/wiki/Universal_constructor
由于“通用构造函数”可以被编程来构build任何模式的单元格,包括其自身的副本,所以Coway的“生命”因此能够“自我复制”,而不仅仅是通用计算。
我强烈推荐“庞德斯recursion宇宙”一书。 绝版,但你可能会find一个副本,也许在一个好的图书馆。 几乎所有关于康威生命的力量,以及在一个自然规律的宇宙中存在的事物,包括自我复制实体和IIRC,达尔文进化论。
保罗·查普曼(Paul Chapman)通过build造“通用明斯基注册机”(Universal Minsky Register Machine)实际上构build了一种具有生命力的万能图灵机: http ://www.igblan.free-online.co.uk/igblan/ca/。
该图案是在30×30平方的格子上构build的。 轻量级Spaceships(LWSS)用于在具有P60逻辑的组件之间进行通信(除了寄存器 – 见下文)。 LWSS需要60代才能通过格子方块。 因此,每隔60代,任何组件间的LWSS(脉冲)相对于其所在的平方处于相同的位置,允许旋转
。