Geometrical accumulations and computably enumerable real numbers (extended abstract)

Abstract : Abstract geometrical computation involves drawing colored line segments (traces of signals) according to rules: signals with similar color are parallel and when they intersect, they are replaced according to their colors. Time and space are continuous and accumulations can be devised to unlimitedly accelerate a computation and provide, in a finite duration, exact analog values as limits. In the present paper, we show that starting with rational numbers for coordinates and speeds, the time of any accumulation is a c.e. (computably enumerable) real number and moreover, there is a signal machine and an initial configuration that accumulates at any c.e. time. Similarly, we show that the spatial positions of accumulations are exactly the d-c.e. (difference of computably enumerable) numbers. Moreover, there is a signal machine that can accumulate at any c.e. time or d-c.e. position.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download
Contributor : Jérôme Durand-Lose <>
Submitted on : Thursday, November 8, 2012 - 2:23:20 PM
Last modification on : Thursday, February 7, 2019 - 4:02:47 PM
Long-term archiving on : Saturday, February 9, 2013 - 2:45:09 AM


Files produced by the author(s)




Jérôme Durand-Lose. Geometrical accumulations and computably enumerable real numbers (extended abstract). UC '11, Jun 2011, Turku, Finland. pp.101-112, ⟨10.1007/978-3-642-21341-0⟩. ⟨hal-00601746⟩



Record views


Files downloads