更改

跳到导航 跳到搜索
添加102字节 、 2020年4月18日 (六) 17:18
无编辑摘要
第153行: 第153行:     
[[File:Striangle.jpeg|200px|right|thumb|组合自动机产生Sierpiński三角]]
 
[[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>
 
<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>
   第161行: 第160行:     
<br>'''组合自动机'''通过检查奇数/偶数索引对是否等于置换X来实现其功能。如果成立,则返回规则字符串的X(例如:“ 120012101”)。 这些元胞自动机与[https://en.wikibooks.org/wiki/Cellular_Automata/Neighborhood#Brickwall_neighborhood 砖墙邻居 Brickwall_neighborhood ]一起工作。 这些元胞自动机类型也像逻辑门 Logic gate一样起作用。 例如,当初始状态是单个居中单元格时,组合中的XOR 门的等效项将产生Sierpiński三角。
 
<br>'''组合自动机'''通过检查奇数/偶数索引对是否等于置换X来实现其功能。如果成立,则返回规则字符串的X(例如:“ 120012101”)。 这些元胞自动机与[https://en.wikibooks.org/wiki/Cellular_Automata/Neighborhood#Brickwall_neighborhood 砖墙邻居 Brickwall_neighborhood ]一起工作。 这些元胞自动机类型也像逻辑门 Logic gate一样起作用。 例如,当初始状态是单个居中单元格时,组合中的XOR 门的等效项将产生Sierpiński三角。
 +
 
</br>
 
</br>
   第185行: 第185行:  
[[File:CA_rule110s.png|200px|right|thumb|规则110]]
 
[[File:CA_rule110s.png|200px|right|thumb|规则110]]
 
[[File:表格110.png|400px|center]]
 
[[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  
 
<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?
 
|title=Is the Universe a Computer?
1,526

个编辑

导航菜单