Abstract
We survey some work concerned with small universal Turing machines, cellular automata, and other simple models of computation. For example it has been an open question for some time as to whether the smallest known universal Turing machines of Minsky, Rogozhin, Baiocchi and Kudlek are efficient (polynomial time) simulators of Turing machines. These are some of the most intuitively simple computational devices and previously the best known simulations were exponentially slow. We discuss recent work that shows that these machines are indeed efficient simulators. As a related result we also find that RuleĀ 110, a well-known elementary cellular automaton, is also efficiently universal. We also mention some new universal program-size results, including new small universal Turing machines and new semi-weakly universal Turing machines. We then discuss some ideas for future work arising out of these, and other, results.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aaronson, S.: Book review: A new kind of science. Quantum Information and ComputationĀ 2(5), 410ā423 (2002)
Baiocchi, C.: Three small universal Turing machines. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol.Ā 2055, pp. 1ā10. Springer, Heidelberg (2001)
Cocke, J., Minsky, M.: Universality of tag systems with P=ā2. Journal of the Association for Computing MachineryĀ 11(1), 15ā20 (1964)
Codd, E.: Cellular Automata. Academic Press, New York (1968)
Cook, M.: Universality in elementary cellular automata. Complex SystemsĀ 15(1), 1ā40 (2004)
Greenlaw, R., Hoover, H.J., Ruzzo, W.L.: Limits to parallel computation: P-completeness theory. Oxford university Press, Oxford (1995)
Harju, T., Margenstern, M.: Splicing systems for universal Turing machines. In: Ferretti, C., Mauri, G., Zandron, C. (eds.) DNA Computing. LNCS, vol.Ā 3384, pp. 149ā158. Springer, Heidelberg (2005)
Hermann, G.T.: The uniform halting problem for generalized one state Turing machines. In: Proceedings of the ninth annual Symposium on Switching and Automata Theory (FOCS), October, pp. 368ā372. IEEE Computer Society Press, Schenectady, New York (1968)
Ikeno, N.: A 6-symbol 10-state universal Turing machine. In: Proceedings, Institute of Electrical Communications, Tokyo (1958)
Kudlek, M.: Small deterministic Turing machines. Theoretical Computer ScienceĀ 168(2), 241ā255 (1996)
Kudlek, M., Rogozhin, Y.: A universal Turing machine with 3 states and 9 symbols. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol.Ā 2295, pp. 311ā318. Springer, Heidelberg (2002)
Lindgren, K., Nordahl, M.G.: Universal computation in simple one-dimensional cellular automata. Complex SystemsĀ 4(3), 299ā318 (1990)
Margenstern, M.: Non-erasing Turing machines: A frontier between a decidable halting problem and universality. In: Ćsik, Z. (ed.) FCT 1993. LNCS, vol.Ā 710, pp. 375ā385. Springer, Heidelberg (1993)
Margenstern, M.: Non-erasing Turing machines: a new frontier between a decidable halting problem and universality. In: Baeza-Yates, R.A., Poblete, P.V., Goles, E. (eds.) LATIN 1995. LNCS, vol.Ā 911, pp. 386ā397. Springer, Heidelberg (1995)
Margenstern, M.: The laterality problem for non-erasing Turing machines on {0, 1} is completely solved. Theoretical Informatics and ApplicationsĀ 31(2), 159ā204 (1997)
Margenstern, M.: Frontier between decidability and undecidability: a survey. Theoretical Computer ScienceĀ 231(2), 217ā251 (2000)
Margenstern, M.: An algorithm for building intrinsically universal cellular automata in hyperbolic spaces. In: Proceedings of the 2006 International Conference on Foundations of Computer Science (FCS), pp. 3ā9. CSREA Press, Las Vegas, NV (2006)
Margenstern, M., Pavlotskaya, L.: On the optimal number of instructions for universality of Turing machines connected with a finite automaton. International Journal of Algebra and ComputationĀ 13(2), 133ā202 (2003)
Michel, P.: Small Turing machines and generalized busy beaver competition. Theoretical Computer ScienceĀ 326, 45ā56 (2004)
Minsky, M.: A 6-symbol 7-state universal Turing machines. Technical Report 54-G-027, MIT (August 1960)
Minsky, M.: Size and structure of universal Turing machines using tag systems. In: Recursive Function Theory: Proceedings, Symposium in Pure. Mathematics, Provelence, AMS vol. 5, pp. 229ā238 (1962)
Moore, C.: Quasi-linear cellular automata. Physica DĀ 103, 100ā132 (1997)
Moore, C.: Predicting non-linear cellular automata quickly by decomposing them into linear ones. Physica DĀ 111, 27ā41 (1998)
Neary, T.: Small polynomial time universal Turing machines. In: MFCSITā06. Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, pp. 325ā329. University College Cork, Ireland (2006)
Neary, T., Woods, D.: Four small universal Turing machines. In: Machines, computations and universality (MCU 2007) LNCS, September 2007. Springer (accepted)
Neary, T., Woods, D.: A small fast universal Turing machine. Technical Report NUIM-CS-TR-2005-12, Department of Computer Science, NUI Maynooth (2005)
Neary, T., Woods, D.: P-completeness of cellular automaton Rule 110. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol.Ā 4051, pp. 132ā143. Springer, Heidelberg (2006)
Neary, T., Woods, D.: Small fast universal Turing machines. Theoretical Computer ScienceĀ 362(1ā3), 171ā195 (2006)
Ollinger, N.: The quest for small universal cellular automata. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.Ā 2380, pp. 318ā329. Springer, Heidelberg (2002)
Pavlotskaya, L.: Solvability of the halting problem for certain classes of Turing machines. Mathematical Notes (Springer), vol. 13(6) pp. 537ā541, June 1973 (Translated from Matematicheskie Zametki, vol. 13, No. 6, pp. 899ā909, June 1973)
Pavlotskaya, L.: Dostatochnye uslovija razreshimosti problemy ostanovki dlja mashin Tājuring. Avtomaty i Mashiny, pp. 91ā118 (Sufficient conditions for the halting problem decidability of Turing machines) (in Russian) (1978)
Priese, L.: Towards a precise characterization of the complexity of universal and nonuniversal Turing machines. SIAM J. Comput.Ā 8(4), 508ā523 (1979)
Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Inventiones MathematicaeĀ 12(3), 177ā209 (1971)
Robinson, R.M.: Minskyās small universal Turing machine. International Journal of MathematicsĀ 2(5), 551ā562 (1991)
Rogozhin, Y.: Semā universalānykh mashin Tājuringa. Systems and theoretical programming, Mat. Issled (Seven universal Turing machines. In Russian)Ā 69, 76ā90 (1982)
Rogozhin, Y.: Small universal Turing machines. Theoretical Computer ScienceĀ 168(2), 215ā240 (1996)
Rogozhin, Y., Verlan, S.: On the rule complexity of universal tissue P systems. In: Freund, R. (ed.) WMC 2005. LNCS, vol.Ā 3850, pp. 356ā362. Springer, Heidelberg (2005)
Shannon, C.E.: A universal Turing machine with two internal states. Automata Studies, Annals of Mathematics StudiesĀ 34, 157ā165 (1956)
Siegelmann, H.T., Margenstern, M.: Nine switch-affine neurons suffice for Turing universality. Neural NetworksĀ 12(4ā5), 593ā600 (1999)
Watanabe, S.: On a minimal universal Turing machines. Technical report, MCB Report, Tokyo (August 1960)
Watanabe, S.: 5-symbol 8-state and 5-symbol 6-state universal Turing machines. Journal of the ACMĀ 8(4), 476ā483 (1961)
Watanabe, S.: 4-symbol 5-state universal Turing machines. Information Processing Society of Japan MagazineĀ 13(9), 588ā592 (1972)
Wolfram, S.: Statistical mechanics of cellular automata. Reviews of Modern PhysicsĀ 55(3), 601ā644 (1983)
Woods, D., Neary, T.: Small semi-weakly universal Turing machines. In: Machines, computations and universality(MCU) 2007, Sept. Springer LNCS. (Accepted)
Woods, D., Neary, T.: On the time complexity of 2-tag systems and small universal Turing machines. In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS), October, pp. 439ā446. IEEE, Berkeley, California (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Woods, D., Neary, T. (2007). The Complexity of Small Universal Turing Machines. In: Cooper, S.B., Lƶwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_84
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_84
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)