Small universal Turing machines
Theoretical Computer Science - Special issue on universal machines and computations
Computation: finite and infinite machines
Computation: finite and infinite machines
A Universal Turing Machine with 3 States and 9 Symbols
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
The Complexity of Small Universal Turing Machines
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
How Redundant Is Your Universal Computation Device?
Membrane Computing
Abstract geometrical computation 4: Small Turing universal signal machines
Theoretical Computer Science
On the complex behavior of simple tag systems-An experimental approach
Theoretical Computer Science
P-completeness of cellular automaton rule 110
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
The complexity of small universal turing machines: a survey
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Four Small Universal Turing Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Small Semi-Weakly Universal Turing Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Hi-index | 0.00 |
We are interested by "small" Universal Turing Machines (in short: UTMs), in the framework of 2, 3 or 4 tape-symbols. In particular: - 2 tape-symbols. Apart from the old 24-states machine constructed by Rogozhin in 1982, we know two recent examples requiring 22 states, one due to Rogozhin and one to the author. - 3 tape-symbols. The best example we know, due to Rogozhin, requires 10 states. It uses a strategy quite hard to follow, in particular because even-length productions require a different treatment with respect to odd-length ones. - 4 tape-symbols. The best known machines require 7 states. Among them, the Rogozhin's one require only 26 commands; the Robinson's one, though requiring 27 commands, fournishes an easier way to recover the output when the TM halts. In particular, Robinson asked for a 7 × 4 UTM with only 26 commands and an easy treatment of the output. Here we will firstly construct a 7 × 4 UTM with an easy recover of the output which requires only 25 commands; then we will simulate such a machine by a (simple) 10 × 3 UT M and by a 19 × 2 UTM.