Reversible conservative rational abstract geometrical computation is Turing-universal

Abstract : In Abstract geometrical computation for black hole computation (MCU '04, LNCS 3354), the author provides a setting based on rational numb ers, abstract geometrical computation, with super-Turing capability. In the present paper, we prove the Turing computing capability of reversible conservative abstract geometrical computation. Reversibility allows backtracking as well as saving energy; it corresponds here to the local reversibility of collisions. Conservativeness corresponds to the preservation of another energy measure ensuring that the number of signals remains bounded. We first consider 2-counter automata enhanced with a stack to keep track of the computation. Then we built a simulation by reversible conservative rational signal machines.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00079687
Contributor : Jérôme Durand-Lose <>
Submitted on : Sunday, February 12, 2017 - 8:27:54 PM
Last modification on : Thursday, February 7, 2019 - 4:53:22 PM
Long-term archiving on: Saturday, May 13, 2017 - 12:24:02 PM

File

2006_CiE.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jérôme Durand-Lose. Reversible conservative rational abstract geometrical computation is Turing-universal. 2nd Conference on Computability in Europe (CiE '06), Jun 2006, Swansea, United Kingdom. pp.163-172, ⟨10.1007/11780342_18⟩. ⟨hal-00079687⟩

Share

Metrics

Record views

210

Files downloads

118