为什么可以康威游戏的生活中被分类为一个普遍的机器?
-
23-08-2019 - |
题
我最近读关于人工生活和遇到的声明, "康威游戏的生活证明了足够的复杂性以被分类为一个普遍的机器"。 我只有一个粗略的了解什么 普遍机 是的,维基百科的只给我带来了接近理解为维基百科永远不会。我不知道,如果任何人都可以揭示一些关于这个非常性感的声明?
康威游戏人生 看来,我被一个可爱的心与一些巨大的影响:我不能让的飞跃之间的和计算器?是,即使所飞跃,我应该做什么?
解决方案
您的可以的建立图灵机了康威的生活 - 虽然这将是非常可怕的。
。的关键是在滑翔机(和相关模式) - 这些移动(缓慢地)沿游戏区,所以可以表示比特流(滑翔机的存在,对于1和缺乏一个0)。其它形式可以被内置采取滑翔机(成直角)的两股流,并且发射对应于AND / OR /等原来的两个流的比特的另一个流。
编辑:还有更多关于这在 LogiCell网站
其他提示
保罗伦德尔生命实现的图灵机。滑翔机代表信号,以及它们之间的相互作用是门和其一起可以创建实现图灵机更大的组件的逻辑。
基本上,可以实现AND,OR和NOT任何自动机械可以一起在复杂的足够方式组合是图灵完全。它不是以计算有用的方式,但它符合标准。
康威的"生命"可采取更进一步:这不仅可能建立一个生活模式,实现了一个通用图灵机的,但也是一个冯*纽曼是"普遍的构造:" http://conwaylife.com/wiki/Universal_constructor
由于"普遍的构造",可以编程,以建造任何模式的细胞,包括一个复制的本身,Coway的"生命",因此能够"自我复制的,"不只是通用的计算。
我高度推荐书的递推宇宙由斯通。绝版的,但你也许可以找到一个副本,也许在一个好的图书馆。这几乎是所有关于Conway的生命的力量,而且可以在宇宙中存在与该组的自然法则,包括自我复制的实体和IIRC,达尔文的进化论。
的东西和保罗·查普曼实际上构建一个通用图灵机与游戏人生: http://www.igblan.free-online.co.uk/igblan/ca/ 通过建立一个“通用明斯基注册机器”。
在图案被构造上的 30×30平方的格子。轻量级 太空船(LWSSs)用于 组件之间的通信,该 有P60逻辑(除寄存器 - 见下文)。一个LWSS需要60 代交叉的格子正方形。 每60代,因此,任何 组件间LWSS(脉冲)是在 相对于方相同的位置 它在,从而允许旋转