当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Abstract geometrical computation 11: Slanted firing squad synchronisation on signal machines
Theoretical Computer Science ( IF 0.9 ) Pub Date : 2021-06-29 , DOI: 10.1016/j.tcs.2021.06.009
Jérôme Durand-Lose , Aurélien Emmanuel

Firing Squad Synchronisation on Cellular Automata is the dynamical synchronisation of finitely many cells without any prior knowledge of their range. This can be conceived as a signal with an infinite speed. Most of the proposed constructions naturally translate to the continuous setting of signal machines and generate fractal figures with an accumulation on a horizontal line, i.e. synchronously, in the space-time diagram. Signal machines are studied in a series of articles named Abstract Geometrical Computation.

In the present article, we design a signal machine that is able to synchronise/accumulate on any non-infinite slope. The slope is encoded in the initial configuration. This is done by constructing an infinite tree such that each node computes the way the tree expands.

The interest of Abstract Geometrical computation is to do away with the constraint of discrete space, while tackling new difficulties from continuous space. The interest of this paper in particular is to provide basic tools for further study of computable accumulation lines in the signal machine model.



中文翻译:

抽象几何计算 11:信号机上的倾斜行刑队同步

元胞自动机上的射击小队同步是有限多个元胞的动态同步,而无需对其范围有任何先验知识。这可以被视为具有无限速度的信号。大多数提议的结构自然地转化为信号机的连续设置,并生成在水平线上累积的分形图,即在时空图中同步。在一系列名为抽象几何计算的文章中研究了信号机。

在本文中,我们设计了一种能够在任何非无限斜率上同步/累积的信号机。斜率在初始配置中编码。这是通过构造一个无限树来完成的,这样每个节点都会计算树的扩展方式。

抽象几何计算的兴趣在于摆脱离散空间的约束,同时从连续空间解决新的困难。本文的兴趣尤其在于为进一步研究信号机模型中的可计算累加线提供基本工具。

更新日期:2021-06-29
down
wechat
bug