P-completeness of Cellular Automaton Rule 110

  • Turlough Neary
  • Damien Woods
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4051)


We show that the problem of predicting t steps of the 1D cellular automaton Rule 110 is P-complete. The result is found by showing that Rule 110 simulates deterministic Turing machines in polynomial time. As a corollary we find that the small universal Turing machines of Mathew Cook run in polynomial time, this is an exponential improvement on their previously known simulation time overhead.


Cellular Automaton Turing Machine Transition Rule Data Word Tape Data 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wolfram, S.: Statistical mechanics of cellular automata. Reviews of Modern Physics 55, 601–644 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Cook, M.: Universality in elementary cellular automata. Complex Systems 15, 1–40 (2004)zbMATHMathSciNetGoogle Scholar
  3. 3.
    Cocke, J., Minsky, M.: Universality of tag systems with P = 2. Journal of the ACM 11, 15–20 (1964)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Rogozhin, Y.: Small universal Turing machines. TCS 168, 215–240 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Baiocchi, C.: Three small universal Turing machines. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol. 2055, pp. 1–10. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Minsky, M.: Size and structure of universal Turing machines using tag systems. In: Recursive Function Theory, Symp. in Pure Math., vol. 5, pp. 229–238. AMS (1962)Google Scholar
  8. 8.
    Neary, T., Woods, D.: A small fast universal Turing machine. Technical Report NUIM-CS-TR-2005-12, Dept. of Computer Science, NUI Maynooth (2005)Google Scholar
  9. 9.
    Neary, T., Woods, D.: Small fast universal Turing machines. TCS (to appear)Google Scholar
  10. 10.
    Greenlaw, R., Hoover, H.J., Ruzzo, W.L.: Limits to parallel computation: P-completeness theory. Oxford University Press, Oxford (1995)zbMATHGoogle Scholar
  11. 11.
    Lindgren, K., Nordahl, M.G.: Universal computation in simple one-dimensional cellular automata. Complex Systems 4, 299–318 (1990)zbMATHMathSciNetGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Moore, C.: Majority-vote cellular automata, Ising dynamics and P-completeness. Journal of Statistical Physics 88, 795–805 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Moore, C.: Quasi-linear cellular automata. Physica D 103, 100–132 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Moore, C.: Predicting non-linear cellular automata quickly by decomposing them into linear ones. Physica D 111, 27–41 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Aaronson, S.: Book review: A new kind of science. Quantum Information and Computation 2, 410–423 (2002)Google Scholar
  17. 17.
    Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, Reading (1979)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Turlough Neary
    • 1
  • Damien Woods
    • 2
  1. 1.TASS, Department of Computer ScienceNational University of Ireland MaynoothIreland
  2. 2.Department of Mathematics and Boole Centre for Research in InformaticsUniversity College CorkIreland

Personalised recommendations