Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines

06/21/2021
by   Jérôme Durand-Lose, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/30/2017

An algorithm to simulate alternating Turing machine in signal machine

Geometrical Computation as a new model of computation is the counterpart...
research
02/06/2018

Programming infinite machines

For infinite machines which are free from the classical Thompson's lamp ...
research
04/19/2018

An Intrinsically Universal Family of Signal Machines

Signal machines form an abstract and perfect model of collision computin...
research
04/19/2023

A note on encoding infinity in ZFA with applications to register automata

Working in Zermelo-Fraenkel Set Theory with Atoms over an ω-categorical ...
research
05/04/2020

Continuous and monotone machines

We investigate a variant of the fuel-based approach to modeling divergin...
research
10/16/2019

Abstract Transducers

Several abstract machines that operate on symbolic input alphabets have ...
research
11/15/2012

Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systemat...

Please sign up or login with your details

Forgot password? Click here to reset