Abstract Geometrical Computation: Turing-Computing Ability and Undecidability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

Résumé

In the Cellular Automata (CA) literature, discrete lines inside (discrete) space-time diagrams are often idealized as Euclidean lines in order to analyze a dynamics or to design CA for special purposes. In this article, we present a parallel analog model of computation corresponding to this idealization: dimensionless signals are moving on a continuous space in continuous time generating Euclidean lines on (continuous) space-time diagrams. Like CA, this model is parallel, synchronous, uniform in space and time, and uses local updating. The main difference is that space and time are continuous and not discrete (i.e. R instead of I). In this article, the model is restricted to R in order to remain inside Turing-computation theory. We prove that our model can carry out any Turing-computation through two-counter automata simulation and provide some undecidability results.
Fichier principal
Vignette du fichier
2005_CiE.pdf (153.53 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00079815 , version 1 (13-06-2006)

Identifiants

  • HAL Id : hal-00079815 , version 1

Citer

Jérôme Durand-Lose. Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. 1st Conference on Computability in Europe (CiE '04), 2005, France. pp.106-116. ⟨hal-00079815⟩
71 Consultations
179 Téléchargements

Partager

Gmail Facebook X LinkedIn More