更改

元胞自动机 (查看源代码)

2020年4月18日 (六) 17:19的版本

删除102字节、 2020年4月18日 (六) 17:19

无编辑摘要

第153行：第153行：

[[File:Striangle.jpeg|200px|right|thumb|组合自动机产生Sierpiński三角]]

+

<br>有连续空间自动机的已知示例表现出类似于[[康威的生命游戏 Conway's Game of Life]]中的滑翔机的传播现象。<ref name=" Pivato ">Pivato, M: "RealLife: The continuum limit of Larger than Life cellular automata", Theoretical Computer Science, 372 (1), March 2007, pp. 46–68</ref>

第160行：第161行：

<br>'''组合自动机'''通过检查奇数/偶数索引对是否等于置换X来实现其功能。如果成立，则返回规则字符串的X（例如：“ 120012101”）。这些元胞自动机与[https://en.wikibooks.org/wiki/Cellular_Automata/Neighborhood#Brickwall_neighborhood 砖墙邻居 Brickwall_neighborhood ]一起工作。这些元胞自动机类型也像逻辑门 Logic gate一样起作用。例如，当初始状态是单个居中单元格时，组合中的XOR 门的等效项将产生Sierpiński三角。

−

</br>

第185行：第185行：

[[File:CA_rule110s.png|200px|right|thumb|规则110]]

[[File:表格110.png|400px|center]]

−

~~[[File:example.GIF|200px|right|thumb|3D动画：展示一维元胞自动机产生下一代的规则]]~~

<br>像《[[康威的生命游戏 Conway's Game of Life]]》一样，第110条元胞自动机规则表现出Wolfram所称的第4类行为：它既不是完全随机的，也不是完全周期重复的。局部结构以各种看起来复杂的方式出现并相互作用。马修·库克 Matthew Cook在1994年作为Wolfram的研究助手在《[[一种新科学 a New Kind of Science]]》的发展过程中证明了其中一些结构足够丰富以支持[https://en.wikipedia.org/wiki/Universal_Turing_machine 图灵机的普遍性 Universal_Turing_machine ]。这个结果很有趣，因为第110条元胞自动机规则是一个非常简单的一维系统，难以进行工程设计以执行特定行为。因此，该结果为Wolfram的观点提供了重要的支持，即4类系统天生就具有普遍性。1998年，库克在[[圣塔菲研究所 Santa Fe Institute]]召开了有关元胞自动机的会议，但该证明被Wolfram阻止在会议上提出，因为Wolfram不想在《[[一种新科学 a New Kind of Science]]》出版之前公开证明。<ref name=" Giles ">Giles, Jim (2002). "What Kind of Science is This?". Nature. 417 (6886): 216–218. Bibcode:2002Natur.417..216G. doi:10.1038/417216a. PMID 12015565.</ref>因此,2004年，在库克提出该证明十年后，终于在Wolfram的[[复杂系统 Complex Systems]]杂志（第15卷，第1期）上发表。第110条元胞自动机规则是一些最小型通用图灵机的基础。<ref name="Weinberg ">{{cite journal

|title=Is the Universe a Computer?

费米子

1,526

个编辑