A Search Algorithm for the Maximal Attractor of a Cellular Automaton

  • Enrico Formenti
  • Petr Kůrka
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4393)


We present an algorithm that finds the maximal attractor (limit set) of those cellular automata whose maximal attractor is a sofic subshift.


cellular automata limit sets sofic subshifts 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Culik, K., Hurd, L.P., Yu, S.: Computation theoretic aspects of cellular automata. Physica D 45, 357–378 (1990)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Maass, A.: On sofic limit sets of cellular automata. Ergodic Theory and Dynamical Systems 15, 663–684 (1995)zbMATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    Kari, J.: Rice’s theorem for the limit sets of cellular automata. Theoretical computer science 127, 229–254 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Culik, K., Pachl, J., Yu, S.: On the limit set of cellular automata. SIAM Journal on Computing 18(4), 831–842 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Hurley, M.: Attractors in cellular automata. Ergodic Theory and Dynamical Systems 10, 131–140 (1990)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Formenti, E., Kůrka, P.: Subshift attractors of cellular automata. Nonlinearity 20, 1–13 (2007)CrossRefGoogle Scholar
  7. 7.
    Kůrka, P.: On the measure attractor of a cellular automaton. Discrete and Continuous Dynamical Systems Supplement volume 2005, 524–535 (2005)Google Scholar
  8. 8.
    Lind, D., Marcus, B.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)zbMATHGoogle Scholar
  9. 9.
    Kitchens, B.P.: Symbolic Dynamics. Springer, Berlin (1998)zbMATHGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Enrico Formenti
    • 1
  • Petr Kůrka
    • 1
    • 2
  1. 1.Laboratoire I3S, Université de Nice Sophia Antipolis, 2000, route des Lucioles, Les Algorithmes - bât Euclide B, BP 121, 06903 Sophia Antipolis - CedexFrance
  2. 2.Center for Theoretical Study, Charles University in Prague, Jilská 1, CZ-11000 Praha 1, Czechia 

Personalised recommendations