Sciweavers

74 search results - page 1 / 15
» Infinite Time Register Machines
Sort
View
CIE
2008
Springer
13 years 6 months ago
An Enhanced Theory of Infinite Time Register Machines
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...
Peter Koepke, Russell Miller
AML
2010
102views more  AML 2010»
13 years 5 months ago
The basic theory of infinite time register machines
Merlin Carl, Tim Fischbach, Peter Koepke, Russell ...
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 2 months ago
Infinite Time Cellular Automata: A Real Computation Model
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
Fabien Givors, Grégory Lafitte, Nicolas Oll...
CIE
2007
Springer
13 years 11 months ago
Post's Problem for Ordinal Register Machines
We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounde...
Joel David Hamkins, Russell G. Miller