Number-conserving cellular automata I: Decidability

Theoretical Computer Science

Volumn 299, Issue 1-3, 2003, Pages 523-535

  Durand, Bruno ^a   Formenti, Enrico ^a   Róka, Zsuzsanna ^b  

^a AIX MARSEILLE UNIV   (France)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Cellular automata; Decidability

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; BOUNDARY CONDITIONS;

CELLULAR AUTOMATA;

CELLULAR ARRAYS;

EID: 0037453409     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00534-0     Document Type: Article

References (17)

1. Boccara N., Fukś H. Cellular automaton rules conserving the number of active sites. J. Phys. A. 31:1998;6007-6018.
2. N. Boccara, H. Fukś, Number-conserving cellular automaton rules, Fund. Inform., 2002, to appear.
3. J. Cervelle, B. Durand, Tilings: recursivity and regularity, in: STACS'00, Lecture Notes in Computer Science, Vol. 1770, Springer, Berlin, 2000.
4. Durand B. The surjectivity problem for 2D cellular automata. J. Comput. Systems Sci. 49(3):1994;718-725.
5. E. Formenti, A. Grange, Number conserving cellular automata II: dynamics, 2001, submitted for publication.
6. Gutowitz H. Cellular Automata: Theory and Experiments. 1990;North-Holland, Amsterdam.
7. Hedlund G.A. Endomorphism and automorphism of the shift dynamical system. Math. System Theory. 3:1969;320-375.
8. Kari J. Reversibility and surjectivity problems of cellular automata. J. Comput. System Sci. 48:1994;149-182.
9. Kari J. Rice's theorem for the limit set of cellular automata. Theoret. Comput. Sci. 127(2):1994;229-254.
10. K. Morita, K. Imai, Number-conserving reversible cellular automata and their computation universality, in: Satellite Workshop on Cellular Automata MFCS'98, 1998, pp. 51-68.
11. K. Morita, Y. Tojima, K. Imai, A simple computer embedded in a reversible and number-conserving 2D cellular space, in: Proc. LA Symp.'99, 1999.
12. Martínez S., Boccara N., Goles E., Picco P. Cellular Automata and Cooperative Phenomena. 1993;Dordrecht, Kluwer.
13. Nagel K., Schreckenberg M. A cellular automaton for freeway traffic. J. Phys. I. 2:1992;2221-2229.
14. R. Serra, S. Bandini, F. Suggi Liverani (Eds.), Cellular automata: research towards industry, in: Third Conf. on Cellular Automata for Research and Industry, Springer, Heidelberg, 1998.
15. Takesue S. Staggered invariants in cellular automata. Complex Systems. 9:1995;149-168.
16. G. Vichniac, P. Manneville, N. Boccara, R. Bidaux (Eds.), Cellular automata and modeling of complex systems, in: Workshop Les Houches, Springer, Heidelberg, 1989.
17. Wolfram S. Theory and Applications of Cellular Automata. 1986;World Scientific, Singapore.