论文信息 - Small Universal Circular Post Machines

Small Universal Circular Post Machines

We consider a new kind of machines with a circular tape and moving in one direction only, so-called Circular Post machines. Using 2-tag systems we construct some small universal machines of this kind.

Manfred Kudlek | Iurie Rogojin | M. Kudlek | Iurie Rogojin

[1] R. J. Nelson,et al. Introduction to Automata , 1968 .

[2] Marvin Minsky,et al. Size and structure of universal Turing machines using Tag systems , 1962 .

[3] Yurii Rogozhin,et al. Small Universal Turing Machines , 1996, Theor. Comput. Sci..

[4] Claude E. Shannon,et al. A Universal Turing Machine with Two Internal States , 1956 .

[5] M. Minsky. Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

[6] Michael A. Arbib,et al. Theories of abstract automata , 1969, Prentice-Hall series in automatic computation.

[7] Raphael M. Robinson,et al. MINSKY'S SMALL UNIVERSAL TURING MACHINE , 1991 .

[8] Emil L. Post. Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[9] Patrick C. Fischer,et al. The Solvability of the Halting Problem for 2-State Post Machines , 1967, JACM.