Abstract
In this paper we study number-decreasing cellular automata. They form a super-class of standard number-conserving cellular automata. It is well-known that the property of being number-conserving is decidable in quasi-linear time. In this paper we prove that being number-decreasing is dimension sensitive i.e. it is decidable for one-dimensional cellular automata and undecidable for dimension 2 or greater. There are only few known examples of dimension sensitive properties for cellular automata and this denotes some rich panel of phenomena in this class.
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
Boccara, N., Fukś, H.: Number-conserving cellular automaton rules. In: Fundamenta Informaticae, IOS Press, Amsterdam (2002)
Durand, B., Formenti, E., Rka, Z.: Number conserving cellular automata I: decidability. TCS 299(1-3), 523–535 (2003)
Formenti, E., Grange, A.: Number conserving cellular automata II: dynamics. Theoretical Computer Science 304, 269–290 (2003)
Fujita, K., Imai, K., Iwamoto, C., Morita, K.: Self-Reproduction and Logical Universality in Number-Conserving CA. In: Seventh International Workshop on Cellular Automata, Hyeres, France (September 2001)
Maruoka, A., Kimura, M.: Condition for Injectivity of Global Maps for Tessellation Automata. Information and Control 32, 158–162 (1976)
Morita, K., Imai, K.: Number-Conserving Reversible Cellular Automata and their Computation-Universality. In: Proceedings of the MFCS 1998 Satellite Workshop on CA (1998)
Takesue, S.: Staggered invariants in cellular automata. Complex Systems 9, 149–168 (1995)
Kari, J.: Reversibility and Surjectivity Problems of Cellular Automata. Journal of Computer and System Sciences 48, 149–182 (1994)
Durand, B.: Inversion of 2D cellular automata: some complexity results. Theoretical Computer Science 134, 387–401 (1994)
Durand, B.: The Surjectivity Problem for 2D Cellular Automata. Journal of Computer and System Sciences 49, 718–725 (1994)
Maruoka, A., Kimura, M.: Injectivity and surjectivity of parallel maps for cellular automata. Journal of Computer and System Sciences 18, 158–162 (1979)
Kari, J.: Rice’s theorem for the limit set of cellular automata. Theoretical Computer Science 127, 229–254 (1994)
Nagel, K., Schreckenberg, M.: A cellular automaton for freeway traffic. Journal Physics I 2, 2221–2229 (1992)
Durand, B.: Global properties of cellular automata. Cellular Automata and Complex Systems (1998)
Culik, K., Yu, S.: Undecidability of CA Classification Schemes. Complex Systems 2, 177–190 (1988)
Culik, K., Pachl, J., Yu, S.: On the Limit Sets of Cellular Automata. SIAM Journal on Computing 18, 831–842 (1989)
Wang, H.: Bell System Tech. Journal 40, 1–42 (1961)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardi, V., Durand, B., Formenti, E., Kari, J. (2004). A New Dimension Sensitive Property for Cellular Automata. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds) Mathematical Foundations of Computer Science 2004. MFCS 2004. Lecture Notes in Computer Science, vol 3153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28629-5_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-28629-5_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22823-3
Online ISBN: 978-3-540-28629-5
eBook Packages: Springer Book Archive