| Publication type: |
 |
Article in peer-reviewed journal |
 |
| Subject: |
 |
|
 |
| Title: |
 |
Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation |
 |
| Author(s): |
 |
Jérôme Durand-Lose ( ) 1 |
 |
| Laboratory: |
 |
|
 |
| Abstract: |
 |
In the context of Abstract geometrical computation, it has been proved that black hole model (and SAD computers) can be implemented. To be more physic-like, it would be interesting that the construction is reversible and preserves some energy. There is already a (energy) conservative and reversible two-counter automaton simulation. In the present paper, based on reversible and conservative stacks, reversible Turing machines are simulated. Then a shrinking construction that preserves these properties is presented. All together, a black hole model implementation that is reversible and conservative (both the shrinking structure and the universal Turing machine) is provided. |
 |
| Fulltext language: |
 |
English |
 |
|
| Journal: |
 |
| International Journal of Unconventional Computing |
| Publisher |
Old City Publishing |
| ISSN |
1548-7199 (eISSN : 1548-7202) |
|
 |
| Audience: |
 |
international |
 |
| Publication date: |
 |
2012 |
 |
| Volume: |
 |
8 |
 |
| Issue: |
 |
1 |
 |
| Page, identifiant, ...: |
 |
33-46 |
 |
|
| Keyword(s): |
 |
Abstract geometrical computation – Black hole model – Energy conservation – Reversibility – Signal machine |
 |
|
| ANR Project: |
 |
| Project Id |
AGAPE |
| Year |
2009 |
| Project title |
Algorithmes de Graphes à Paramètre fixe et Exponentiels exacts |
| Acronyme |
ANR Blanc AGAPE |
|
 |