×
迈克尔·维尔哈伯

通过细胞自动机的异步时钟计算位上的函数。 （英语） Zbl 1352.68173号

自然计算。 12，第3号，307-322（2013）.
摘要：通过仅提供输入位作为数据，并仅通过时钟方案（a/同步性）模拟功能，固定细胞自动机可以在任何（n）位输入上计算不同的功能吗？也许令人惊讶的答案是：是的！Wolfram数为57的基本元胞自动机以及几个具有4个输入单元的CA能够计算域（0，点，2^n-1）上等价于偶数置换的位上的双射函数，至少对于（nleq10）。为了区分函数，以确定性的方式改变更新单元格的时间顺序就足够了。我们还描述了非双射函数的可计算性，而我们现在需要的是非完全异步的时态方案。我们从模式转换开始。所有这一切的线索是一个新的范例：算法既不是硬连线的（在CA中），也不是程序或数据（初始配置），而只是按照激发细胞的时间顺序。时间顺序是模式-普遍的。

引用于5文件

MSC公司：

68问题80 细胞自动机（计算方面）

关键词：

细胞自动机；异步；更新规则；普遍性；时间顺序；时钟可计算

软件：

间隙
PDF格式BibTeX公司 XML格式引用
\textit{M.Vielhaber}，自然计算。12，第3号，307--322（2013；Zbl 1352.68173）
全文： 内政部

参考文献：

[1] Barrett CL，Reidys CM（1999）计算机模拟理论的要素I：随机图上的序列CA。应用数学计算98:241-259·Zbl 0927.68114号 ·doi:10.1016/S0096-3003（97）10166-7
[2] Barrett CL、Mortveit HS、Reidys CM（2000）《模拟理论的要素II：时序动力系统》。应用数学计算107:121-136·Zbl 1049.68149号 ·doi:10.1016/S0096-3003（98）10114-5
[3] Barrett CL、Mortveit HS、Reidys CM（2001）《模拟理论的要素III：SDS的等效性》。应用数学计算122:325-340·Zbl 1050.68161号 ·doi:10.1016/S0096-3003（00）00042-4
[4] Barrett CL，Mortveit HS，Reidys CM（2003）ETS IV：序贯动力系统：不动点。可逆性和等效性。应用数学计算134:153-171·Zbl 1028.37010号 ·doi:10.1016/S0096-3003（01）00277-6
[5] Cattaneo G，Dennunzio A，Margara L（2004）关于线性细胞自动机拓扑性质的一些猜想的解。计算机科学325:249-271·Zbl 1071.68066号 ·doi:10.1016/j.tcs.2004.06.008
[6] Dennunzio A、Formenti E、Manzoni L（2012a）《异步细胞自动机的计算问题》。Fundam通知120:165-180·Zbl 1283.68226号
[7] Dennunzio A、Formenti E、Manzoni L、Mauri G（2012b）m-Asynchronous元胞自动机。In：程序。ACRI 2012。计算机科学讲义，第7495卷。柏林施普林格，第653-662页·Zbl 1333.68191号
[8] Dennunzio A、Formenti E、Manzoni L、Mauri G（2013）《异步细胞自动机：从公平到准公平》。自然计算·Zbl 1333.68191号
[9] Fatès N，Thierry E，Morvan M，Schabanel N（2006）双静态基本细胞自动机的完全异步行为。TCS第362:1-16节·Zbl 1101.68058号 ·doi:10.1016/j.tcs.2006.05.036
[10] Ingerson TE，Buvel RL（1984）《异步细胞自动机的结构》。物理A 10D:59-68
[11] Laubenbacher R，Pareigis B（2006）《时序动力系统的更新时间表》。离散应用数学154:980-994·Zbl 1134.37320号 ·doi:10.1016/j.dam.2005.10.010
[12] Lee J，Peper F，Adachi S，Morita K，Mashiko S（2002）异步细胞自动机中的可逆计算。In：程序。取消验证模型计算。计算机科学讲义，第2509卷。柏林施普林格，第220-229页·Zbl 1029.68101号
[13] Macauley M、McCammond J、Mortveit HS（2007）《异步细胞自动机中的顺序独立性》。arXiv:0707.2360v2·兹比尔1146.68391
[14] Macauley M、McCammond J、Mortveit HS（2010）《异步细胞自动机的动力学组》。J代数梳33:31-55
[15] Siwak P（2002）自动机的胶片。In：程序。UMC 2002，Unconv模型计算。计算机科学讲义，第2509卷。施普林格，柏林，第66-85页·Zbl 1029.37500号
[16] GAP Group（2012）GAP-groups，algorithms，and programming，版本4.5.7；2012http://www.gap-system.org
[17] Vielhaber M（2012）《按时间顺序计算：异步细胞自动机》。In:Formenti E（ed）EPTCS 90，Proc。automata&JAC 2012，arXiv:1208.2762·Zbl 1294.94083号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。