Advertisement

Classification of Cellular Automata

  • Klaus SutnerEmail author
Reference work entry
Part of the Encyclopedia of Complexity and Systems Science Series book series (ECSSS)

Glossary

Cellular automaton

For our purposes, a (one-dimensional) cellular automaton (CA) is given by a local map ρ : Σw → Σ where Σ is the underlying alphabet of the automaton and w is its width. As a data structure, suitable as input to a decision algorithm, a CA can thus be specified by a simple lookup table. We abuse notation and write ρ(x) for the result of applying the global map of the CA to configuration x ∈ Σ.

Finite configurations

One often considers CA with a special quiescent state: the homogeneous configuration where all cells are in the quiescent state is required to be fixed point under the global map. Infinite configurations where all but finitely many cells are in the quiescent state are often called finite configurations. This is somewhat of a misnomer; we prefer to speak about configurations with finite support.

Reversibility

A discrete dynamical system is reversible if the evolution of the system incurs no loss of information: the state at time tcan be recovered...

Bibliography

  1. Adamatzky A (1994) Identification of cellular automata. Taylor & Francis, LondonzbMATHGoogle Scholar
  2. Amoroso S, Patt YN (1972) Decision procedures for surjectivity and injectivity of parallel maps for tesselation structures. J Comput Syst Sci 6:448–464zbMATHCrossRefGoogle Scholar
  3. Baldwin JT (2002) Computation versus simulation. http://www.math.uic.edu/%7Ejbaldwin/pub/cafom.ps. Accessed May 2007
  4. Baldwin JT, Shelah S (2000) On the classifiability of cellular automata. Theor Comput Sci 230(1–2):117–129MathSciNetzbMATHCrossRefGoogle Scholar
  5. Baumslag G (2007) Magnus. http://caissny.org/. Accessed May 2007
  6. Beal M-P, Perrin D (1997) Symbolic dynamics and finite automata. In: Rozenberg G, Salomaa A (eds) Handbook of formal languages. Springer, BerlinGoogle Scholar
  7. Bennett CH (1973) Logical reversibility of computation. IBM J Res Dev 17:525–532MathSciNetzbMATHCrossRefGoogle Scholar
  8. Börger E, Grädel E, Gurevich Y (2001) The classical decision problem. Springer, BerlinzbMATHGoogle Scholar
  9. Cook M (2004) Universality in elementary cellular automata. Complex Syst 15(1):1–40MathSciNetzbMATHGoogle Scholar
  10. Culik K (1987) On invertible cellular automata. Complex Syst 1(6):1035–1044MathSciNetzbMATHGoogle Scholar
  11. Culik K, Sheng Y (1988) Undecidability of CA classification schemes. Complex Syst 2(2):177–190MathSciNetzbMATHGoogle Scholar
  12. Davis M (1956) A note on universal Turing machines. In: Shannon CE, McCarthy J (eds) Automata studies. Annals of mathematics studies, vol 34. Princeton University Press, Princeton, pp 167–175Google Scholar
  13. Davis M (1957) The definition of universal Turing machines. Proc Am Math Soc 8:1125–1126MathSciNetzbMATHCrossRefGoogle Scholar
  14. Delorme M, Mazoyer J (1999) Cellular automata: a parallel model. Mathematics and its applications, vol 460. Kluwer, DordrechtzbMATHCrossRefGoogle Scholar
  15. Delvenne J-C, Kůrka P, Blondel V (2006) Decidability and universality in symbolic dynamical systems. Fundamenta Informaticae 74(4):463–490MathSciNetzbMATHGoogle Scholar
  16. Durand-Lose J (2001) Representing reversible cellular automata with reversible block automata. Disc Math Theor Comp Sci Proc AA:145–154Google Scholar
  17. Elgaard J, Klarlund N, Møller A (1998) MONA 1.x: new techniques for WS1S and WS2S. In: Proceeding of the 10th international conference on computer-aided verification, CAV ’98. LNCS, vol 1427. Springer, Berlin, pp 516–520CrossRefGoogle Scholar
  18. Friedberg RM (1957) Two recursively enumerable sets of incomparable degrees of unsolvability. Proc Natl Acad Sci U S A 43:236–238zbMATHCrossRefGoogle Scholar
  19. Grädel E, Thomas W, Wilke T (eds) (2002) Automata, logics, and infinite games, LNCS, vol 2500. Springer, BerlinzbMATHGoogle Scholar
  20. Gutowitz H (1996a) Cellular automata and the sciences of complexity, part I. Complexity 1(5):16–22MathSciNetCrossRefGoogle Scholar
  21. Gutowitz H (1996b) Cellular automata and the sciences of complexity, part II. Complexity 1(6)MathSciNetCrossRefGoogle Scholar
  22. Harrington L, Shelah S (1982) The undecidability of the recursively enumerable degrees. Bull Am Math Soc 6:79–80MathSciNetzbMATHCrossRefGoogle Scholar
  23. Head T (1989) Linear CA: injectivity from ambiguity. Complex Syst 3(4):343–348zbMATHGoogle Scholar
  24. Hedlund GA (1969) Endomorphisms and automorphisms of the shift dynamical system. Math Syst Theory 3:320–375MathSciNetzbMATHCrossRefGoogle Scholar
  25. Hooper PK (1966) The undecidability of the Turing machine immortality problem. J Symb Log 31(2):219–234MathSciNetzbMATHCrossRefGoogle Scholar
  26. Kari J (1990) Reversibility of 2D cellular automata is undecidable. Physica D 45:397–385zbMATHCrossRefGoogle Scholar
  27. Kůrka P (1997) Languages, equicontinuity and attractors in cellular automata. Ergod Th Dyn Syst 17:417–433MathSciNetzbMATHCrossRefGoogle Scholar
  28. Kůrka P (2003) Topological and symbolic dynamics, Cours Spécialisés, vol 11. Societe Mathematique de France, PariszbMATHGoogle Scholar
  29. Langton CG (1990) Computation at the edge of chaos. Physica D 42:12–37MathSciNetCrossRefGoogle Scholar
  30. Lecerf Y (1963) Machine de Turing réversible. Insolubilité récursive en n ∈ N de l’équation u = θnu, où θ est un “isomorphisme de codes”. C R Acad Sci Paris 257:2597–2600Google Scholar
  31. Lerman M (1983) Degrees of unsolvability. Perspectives in mathematical logic. Springer, BerlinCrossRefGoogle Scholar
  32. Li W, Packard N (1990) The structure of the elementary cellular automata rule space. Complex Syst 4(3):281–297MathSciNetzbMATHGoogle Scholar
  33. Li W, Packard N, Langton CG (1990) Transition phenomena in CA rule space. Physica D 45(1–3):77–94MathSciNetzbMATHCrossRefGoogle Scholar
  34. Libkin L (2004) Elements of finite model theory. Springer, BerlinzbMATHCrossRefGoogle Scholar
  35. Manzini G, Margara L (1999) A complete and efficiently computable topological classification of D-dimensional linear cellular automata over Zm. Theor Comput Sci 221(1–2):157–177zbMATHCrossRefGoogle Scholar
  36. Mazoyer J (1987) A six state minimal time solution to the firing squad synchronization problem. Theor Comput Sci 50:183–238MathSciNetzbMATHCrossRefGoogle Scholar
  37. Mitchell M, Crutchfield JP, Hraber PT (1994) Evolving cellular automata to perform computations: mechanisms and impediments. Physica D (75):361–369zbMATHCrossRefGoogle Scholar
  38. Morita K (1994) Reversible cellular automata. J Inf Process Soc Japan 35:315–321Google Scholar
  39. Morita K (1995) Reversible simulation of one-dimensional irreversible cellular automata. Theor Comput Sci 148:157–163MathSciNetzbMATHCrossRefGoogle Scholar
  40. Morita K, Harao M (1989) Computation universality of 1 dimensional reversible (injective) cellular automata. Trans Inst Electron, Inf Commun Eng E 72:758–762Google Scholar
  41. Muchnik AA (1956) On the unsolvability of the problem of reducibility in the theory of algorithms. Dokl Acad Nauk SSSR 108:194–197MathSciNetzbMATHGoogle Scholar
  42. Neary R, Woods D (2006a) On the time complexity of 2-tag systems and small universal turing machines. In: FOCS. IEEE Comput Soc, Berkeley, pp 439–448Google Scholar
  43. Neary R, Woods D (2006b) Small fast universal turing machines. Theor Comput Sci 362(1–3):171–195MathSciNetzbMATHCrossRefGoogle Scholar
  44. Oliveira G, Oliveira P, Omar N (2001) Definition and application of a five-parameter characterization of one-dimensional cellular automata rule space. Artif Life 7(3):277–301CrossRefGoogle Scholar
  45. Ollinger N (2003) The intrinisic universality problem of one-dimensional cellular automata. In: Alt H, Habib M (eds) Proceeings STACS. LNCS, vol 2607. Springer, Berlin, pp 632–641Google Scholar
  46. Packard NH (1988) Adaptation towards the edge of chaos. In: Dynamic patterns in complex systems. World Scientific, Singapore, pp 29–301Google Scholar
  47. Rogers H (1967) Theory of recursive functions and effective computability. McGraw Hill, New YorkzbMATHGoogle Scholar
  48. Rozenberg G, Salomaa A (1997) Handbook of formal languages. Springer, BerlinzbMATHCrossRefGoogle Scholar
  49. Shepherdson JC (1965) Machine configuration and word problems of given degree of unsolvability. Z Math Logik Grundl Math 11:149–175MathSciNetzbMATHCrossRefGoogle Scholar
  50. Shoenfield JR (1967) Mathematical logic. Addison Wesley, ReadingzbMATHGoogle Scholar
  51. Soare RI (1972) The Friedberg-Muchnik theorem re-examined. Can J Math 24:1070–1078MathSciNetzbMATHCrossRefGoogle Scholar
  52. Soare RI (1987) Recursively enumerable sets and degrees. Perspectives in mathematical logic. Springer, BerlinCrossRefGoogle Scholar
  53. Sutner K (1989) A note on Culik-Yu classes. Complex Syst 3(1):107–115MathSciNetzbMATHGoogle Scholar
  54. Sutner K (1990) Classifying circular cellular automata. Physica D 45(1–3):386–395MathSciNetzbMATHCrossRefGoogle Scholar
  55. Sutner K (1991) De Bruijn graphs and linear cellular automata. Complex Syst 5(1):19–30MathSciNetzbMATHGoogle Scholar
  56. Sutner K (1995) The complexity of finite cellular automata. J Comput Syst Sci 50(1):87–97MathSciNetzbMATHCrossRefGoogle Scholar
  57. Sutner K (2002) Cellular automata and intermediate reachability problems. Fundamentae Informaticae 52(1–3):249–256MathSciNetzbMATHGoogle Scholar
  58. Sutner K (2003a) Almost periodic configurations on linear cellular automata. Fundamentae Informaticae 58(3,4):223–240MathSciNetzbMATHGoogle Scholar
  59. Sutner K (2003b) Cellular automata and intermediate degrees. Theor Comput Sci 296:365–375MathSciNetzbMATHCrossRefGoogle Scholar
  60. Sutner K (2004) The complexity of reversible cellular automata. Theor Comput Sci 325(2):317–328MathSciNetzbMATHCrossRefGoogle Scholar
  61. Taati S (2007) Cellular automata reversible over limit set. J Cell Autom 2(2):167–177MathSciNetzbMATHGoogle Scholar
  62. Toffoli T, Margolus N (1990) Invertible cellular automata: a review. Physica D 45:229–253MathSciNetzbMATHCrossRefGoogle Scholar
  63. Turing AM (1936) On computable numbers, with an application to the Entscheidungsproblem. P Lond Math Soc 42:230–265MathSciNetzbMATHGoogle Scholar
  64. Vorhees B (1996) Computational analysis of one-dimensional cellular automata. World Scientific, SingaporeGoogle Scholar
  65. Wang H (1993) Popular lectures on mathematical logic. Dover Publications, Dover/New YorkzbMATHGoogle Scholar
  66. Weihrauch K (2000) Computable analysis. EATCS monographs. Springer, BerlinCrossRefGoogle Scholar
  67. Wolfram S (1984a) Computation theory of cellular automata. Commun Math Phys 96(1):15–57MathSciNetzbMATHCrossRefGoogle Scholar
  68. Wolfram S (1984b) Universality and complexity in cellular automata. Physica D 10:1–35MathSciNetzbMATHCrossRefGoogle Scholar
  69. Wolfram S (1985) Twenty problems in the theory of cellular automata. Phys Scr T9:170–183MathSciNetzbMATHCrossRefGoogle Scholar
  70. Wolfram S (2002a) The mathematica book. Cambridge University Press, CambridgezbMATHGoogle Scholar
  71. Wolfram S (2002b) A new kind of science. Wolfram Media, ChampaignzbMATHGoogle Scholar
  72. Wuensche A (1999) Classifying cellular automata automatically. Complexity 4(3):47–66MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag 2009

Authors and Affiliations

  1. 1.Carnegie Mellon UniversityPittsburghUSA

Personalised recommendations