Geometrical Accumulations and Computably Enumerable Real Numbers
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.
KeywordsAbstract geometrical computations Computable analysis Geometrical accumulations c.e. and d-c.e. real numbers Signal machine
Unable to display preview. Download preview PDF.
- Adamatzky, A., Durand-Lose, J.: Collision computing. In: Corne, D. (ed.) Handbook of Natural Computing: Theory, Experiments, and Applications, Part II. Springer, Heidelberg (2010)Google Scholar
- Durand-Lose, J.: Abstract geometrical computation with accumulations: Beyond the Blum, Shub and Smale model. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) Logic and Theory of Algorithms, 4th Conf. Computability in Europe (CiE 2008) (abstracts and extended abstracts of unpublished papers), pp. 107–116. University of Athens, Athens (2008a)Google Scholar
- Durand-Lose, J.: The signal point of view: from cellular automata to signal machines. In: Durand, B. (ed.) Journées Automates Cellulaires (JAC 2008), pp. 238–249 (2008b)Google Scholar
- Durand-Lose, J.: The coordinates of isolated accumulations [includes] computable real numbers. In: Ferreira, F., Guerra, H., Mayordomo, E., Rasga, J. (eds.) Programs, Proofs, Processes, 6th Int. Conf. Computability in Europe (CiE 2010) (abstracts and extended abstracts of unpublished papers), pp. 158–167. CMATI, U. Azores (2010a)Google Scholar
- Durand-Lose, J.: Abstract geometrical computation 5: embedding computable analysis. Nat. Comput (2010b); Special issue on Unconv. Comp. 2009, doi:10.1007/s11047-010-9229-6Google Scholar