尺度不变的元胞自动机和自相似的Petri网

摘要:基于无限空时镶嵌的两种新型计算模型被引入。它们由递归耦合的原始构建块组成。第一个模型是细胞自动机的尺度不变推广,而第二个模型则利用自相似的彼得里网。这两种模型都能进行超级计算,并且可以"解决"图灵机的停机问题。这两个模型密切相关,因为它们对有限计算展示了逐步等价。然而,对于涉及无限数量构建块的计算,它们之间存在很大差异:第一个模型显示出不确定的行为,而第二个模型则会停止。这两种模型都能挑战我们对可计算性、因果关系和时空的理解。

作者:Martin Schaller and Karl Svozil

论文ID:nlin/0606007

分类:Cellular Automata and Lattice Gases

分类简称:nlin.CG

提交时间:2011-03-10

PDF 下载: 英文版 中文版pdf翻译中