Abstract geometrical computation 8: Small machines, accumulations & rationality - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Computer and System Sciences Année : 2018

Abstract geometrical computation 8: Small machines, accumulations & rationality

Résumé

In the context of abstract geometrical computation, computing with coloured line segments, we consider the possibility of an accumulation-topologycal limit point of segment intersections/collisions-with small signal machines, i.e. having only a very limited number of distinct slopes/speeds when started with finitely many segments/signals. The cases of 2 and 4 speeds are trivial: no machine can produce an accumulation with only 2 speeds and an accumulation can be generated with 4 speeds. The main result is the twofold 3-speed case. No accumulation can happen when all ratios between speeds and all ratios between initial distances are rational. Accumulation is possible in the case of an irrational ratio between two speeds or of an irrational ratio between two distances in the initial configuration. This dichotomy is explained by the presence of a phenomenon computing Euclid's gcd algorithm: it stops if and only if its input is commensurable, i.e., of rational ratio.

Dates et versions

hal-01828619 , version 1 (03-07-2018)

Identifiants

Citer

Florent Becker, Jérôme Durand-Lose, Vincent Levorato, Mathieu Chapelle, Maxime Senot. Abstract geometrical computation 8: Small machines, accumulations & rationality. Journal of Computer and System Sciences, 2018, 97, pp.182-198. ⟨10.1016/j.jcss.2018.06.001⟩. ⟨hal-01828619⟩
146 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More