Reversible parallel computation: an evolving space-model
Theoretical Computer Science
On optimal solutions to the firing squad synchronization problem
Theoretical Computer Science - Special issue on universal machines and computations
Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy
Theoretical Computer Science - Special issue on real numbers and computers
Signals in one-dimensional cellular automata
Theoretical Computer Science - Special issue: cellular automata
Generation of Primes by a One-Dimensional Real-Time Iterative Array
Journal of the ACM (JACM)
Minds and Machines
Collision-based computing
Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Cellular Automata: A Discrete Universe
Cellular Automata: A Discrete Universe
Computation: finite and infinite machines
Computation: finite and infinite machines
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
Theoretical Computer Science
Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Abstract geometrical computation 4: Small Turing universal signal machines
Theoretical Computer Science
Reversible conservative rational abstract geometrical computation is turing-universal
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Forecasting black holes in abstract geometrical computation is highly unpredictable
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Controller synthesis and ordinal automata
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Abstract geometrical computation: turing-computing ability and undecidability
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Hi-index | 0.00 |
The Black hole model of computation provides super-Turing computing power since it offers the possibility to decide in finite (observer's) time any recursively enumerable ($\mathcal{R.E.}$) problem. In this paper, we provide a geometric model of computation, conservative abstract geometrical computation, that, although being based on rational numbers, has the same property: it can simulate any Turing machine and can decide any $\mathcal{R.E.}$ problem through the creation of an accumulation. Finitely many signals can leave any accumulation, and it can be known whether anything leaves. This corresponds to a black hole effect.