Abstract geometrical computation 9: Exact discretization of 3-speed rational signal machines - Archive ouverte HAL Access content directly
Journal Articles Journal of Cellular Automata Year : 2017

Abstract geometrical computation 9: Exact discretization of 3-speed rational signal machines

Abstract

In the context of abstract geometrical computation, signal machines have been developed as a continuous counterpart of cellular automata capturing the notions of particles, signals and collisions. An important issue is the automatic generation of a CA "mimicking" the dynamics of a given signal machine. On the one hand, ad hoc/manual conversions exist. On the other hand, it is not always possible since some signal machines exhibit behaviors (like fractal constructions or relying on an unbounded density of information) that are just impossible with (discrete) cellular automata. This article provides a solution to automatically generate a cellular automata for a "maximal" class of signal machines that cannot exhibit such behaviors. This scheme encompasses the discretization of initial configuration so that the original continuous dynamics and the discrete one generated are identical up to a linear deformation. The considered signal machines are the ones that use only three speeds and allow only rational speeds and initial positions. Signals in these machines are always trapped inside a regular mesh. The construction relies on generating the corresponding discrete mesh. The soundness of the construction is proved and experimental results are provided.
No file

Dates and versions

hal-01298229 , version 1 (05-04-2016)

Identifiers

  • HAL Id : hal-01298229 , version 1

Cite

Tom Besson, Jérôme Durand-Lose. Abstract geometrical computation 9: Exact discretization of 3-speed rational signal machines. Journal of Cellular Automata, 2017, 12 (3-4), pp.159-187. ⟨hal-01298229⟩
90 View
0 Download

Share

Gmail Facebook X LinkedIn More