为什么康威的生命游戏被归类为通用机器?

时间:2008-12-27 12:36:57

标签: theory turing-complete computability

我最近在阅读关于人工生活的文章,并且发现了"Conway’s Game of Life demonstrates enough complexity to be classified as a universal machine."我对universal machine的含义只有粗略的了解,维基百科只让我接近理解,就像维基百科一样。 。我想知道是否有人可以对这个非常性感的陈述有所了解?

对我而言,{p> Conway's Game of Life似乎是一种可爱的分心,带来了一些巨大的影响:我无法在那和计算器之间实现飞跃?这甚至是我应该做的飞跃吗?

5 个答案:

答案 0 :(得分:44)

Paul Rendell实施了Turing machine in Life。滑翔机代表信号,它们之间的相互作用是门和逻辑,它们共同构成了实现图灵机的更大组件。

基本上,任何可以实现AND,OR和NOT的自动机械都可以以足够复杂的方式组合在一起,以完成Turing。它不是一种有用的计算方法,但它符合标准。

答案 1 :(得分:35)

可以在Conway的生活中建立一个图灵机 - 虽然它会非常可怕。

键位于滑翔机(和相关模式) - 这些沿着比赛场地(缓慢地)移动,因此可以表示比特流(滑翔机的存在为1并且缺少一个0)。可以构建其他模式以接收两个滑翔器流(以直角)并发射另一个与原始两个流的AND / OR /等对应的比特流。

编辑:LogiCell web site上有更多内容。

答案 2 :(得分:12)

康威的“生命”可以更进一步:不仅可以构建实现通用图灵机的生活模式,还可以建立冯·诺依曼“通用构造函数:”http://conwaylife.com/wiki/Universal_constructor

由于“通用构造函数”可以编程构建任何细胞模式,包括其自身的副本,因此Coway的“生命”能够“自我复制”,而不仅仅是通用计算。

答案 3 :(得分:4)

我强烈推荐Poundstone的The Recursive Universe一书。绝版,但你可以找到一个副本,也许在一个很好的图书馆。几乎所有关于康威生命的力量,以及宇宙中存在的具有自然规律的东西,包括自我复制实体和IIRC,达尔文进化论。

答案 4 :(得分:3)

Paul Chapman实际上通过建立一个“通用明斯基注册机”来构建一个具有生命游戏的通用图灵机:http://www.igblan.free-online.co.uk/igblan/ca/

  

模式是在a上构建的   30x30正方形的格子。轻量级   太空飞船(LWSSs)习惯了   在组件之间进行通信   有P60逻辑(寄存器除外 -   见下文)。 LWSS需要60   几代人穿过格子广场。   因此,每60代   组件间LWSS(脉冲)在   相对于广场的相同位置   它在,允许轮换