Abstract
We study the notion of limit sets of cellular automata associated with probability measures (μ-limit sets). This notion was introduced by P. Kůrka and A. Maass in [1]. It is a refinement of the classical notion of ω-limit sets dealing with the typical long term behavior of cellular automata. It focuses on the words whose probability of appearance does not tend to 0 as time tends to infinity (the persistent words). In this paper, we give a characterization of the persistent language for non sensitive cellular automata associated with Bernoulli measures. We also study the computational complexity of these languages. We show that the persistent language can be non-recursive. But our main result is that the set of quasi-nilpotent cellular automata (those with a single configuration in their μ-limit set) is neither recursively enumerable nor co-recursively enumerable.
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
Kůrka, P., Maass, A.: Limit Sets of Cellular Automata Associated to Probability Measures. Journal of Statistical Physics 100, 1031–1047 (2000)
Wolfram, S.: Universality and complexity in cellular automata. Physica D 10, 1–35 (1984)
Kůrka, P.: Languages, equicontinuity and attractors in cellular automata. Ergodic Theory and Dynamical Systems 17, 417–433 (1997)
Mazoyer, J., Rapaport, I.: Inducing an Order on Cellular Automata by a Grouping Operation. In: Symposium on Theoretical Aspects of Computer Science. LNCS (1998)
Čulik II, K., Pachl, J., Yu, S.: On the limit sets of cellular automata. SIAM Journal on Computing 18, 831–842 (1989)
Kari, J.: Rice’s theorem for the limit sets of cellular automata. Theoretical Computer Science 127, 229–254 (1994)
Nagel, K., Schreckenberg, M.: A cellular automaton model for freeway traffic. J. Phys. 2, 2221–2229 (1992)
Kari, J.: The Nilpotency Problem of One-dimensional Cellular Automata. SIAM Journal on Computing 21, 571–586 (1992)
Sutner, K.: Cellular automata and intermediate degrees. Theoretical Computer Science 296 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boyer, L., Poupet, V., Theyssier, G. (2006). On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures. In: Královič, R., Urzyczyn, P. (eds) Mathematical Foundations of Computer Science 2006. MFCS 2006. Lecture Notes in Computer Science, vol 4162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11821069_17
Download citation
DOI: https://doi.org/10.1007/11821069_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37791-7
Online ISBN: 978-3-540-37793-1
eBook Packages: Computer ScienceComputer Science (R0)