It is shown that the uniform halting problem for one-state Turing machines is solvable. It remains solvable for various generalizations like one-state Turing machines with two-dimensional tape and jumping reading head. Other generalizations, for example, one-state Turing machines with two tapes, have an unsolvable uniform halting problem. The history of the problem is summarized
Uniform simulations of nondeterministic real time multitape turing machines. - In: Mathematical syst...
AbstractIn this paper we establish a lower bound for the simultaneous complexity of the halting prob...
International audienceWe consider three problems related to dynamics of one-tape Turing machines: Ex...
It is shown that the uniform halting problem for one-state Turing machines is solvable. It remains s...
In [1], Turing has established the well-known result of the indecidability of the general halting pr...
AbstractIt has been shown in [J.D. Hamkins, A. Miasnikov, The halting problem is decidable on a set ...
AbstractLet TM(k,l) be the set of one-tape Turing machines with k states and l symbols. It is known ...
Turing assemblers are Turing machines which operate on n-dimensional tapes under restrictions which ...
AbstractA new criterion, namely, the number of colours used by the instructions of a Turing machine ...
It is well-known that one-tape Turing machines working in linear time are no more powerful than fini...
AbstractA decision procedure is given which makes essential use of concepts in discrete geometry. Th...
In this paper we improve the bounds on the complexity of solutions to the ¯ring squad problem, also ...
We position Turing's result regarding the undecidability of the halting problem as a result about pr...
The model of Turing machines has been studied since its birth in 1936. Researchers have continuously...
International audienceIt is well known that one-tape Turing machines running in linear time are no m...
Uniform simulations of nondeterministic real time multitape turing machines. - In: Mathematical syst...
AbstractIn this paper we establish a lower bound for the simultaneous complexity of the halting prob...
International audienceWe consider three problems related to dynamics of one-tape Turing machines: Ex...
It is shown that the uniform halting problem for one-state Turing machines is solvable. It remains s...
In [1], Turing has established the well-known result of the indecidability of the general halting pr...
AbstractIt has been shown in [J.D. Hamkins, A. Miasnikov, The halting problem is decidable on a set ...
AbstractLet TM(k,l) be the set of one-tape Turing machines with k states and l symbols. It is known ...
Turing assemblers are Turing machines which operate on n-dimensional tapes under restrictions which ...
AbstractA new criterion, namely, the number of colours used by the instructions of a Turing machine ...
It is well-known that one-tape Turing machines working in linear time are no more powerful than fini...
AbstractA decision procedure is given which makes essential use of concepts in discrete geometry. Th...
In this paper we improve the bounds on the complexity of solutions to the ¯ring squad problem, also ...
We position Turing's result regarding the undecidability of the halting problem as a result about pr...
The model of Turing machines has been studied since its birth in 1936. Researchers have continuously...
International audienceIt is well known that one-tape Turing machines running in linear time are no m...
Uniform simulations of nondeterministic real time multitape turing machines. - In: Mathematical syst...
AbstractIn this paper we establish a lower bound for the simultaneous complexity of the halting prob...
International audienceWe consider three problems related to dynamics of one-tape Turing machines: Ex...