2d cellular automata

24
2D cellular automata: dynamics and undecidability Alberto Dennunzio 1 , Enrico Formenti 2 , and Michael Weiss 2 1 Universit` a degli Studi di Milan o–Bic occa Dipartimento di Informatica, Sistemistica e Comunicazione, Viale Sarca 336, 20126 Milano (Italy) [email protected] mib.it michael.weiss@cui .unige.ch 2 Universit´ e de Nice-So phia Antip olis, L abora toire I3S , 2000 Route des Colles, 06903 Sophia Antipolis (France). [email protected] Abstract. In this paper we introduce the notion of quasi-expansivity for 2D CA and we show that it shares many properties with expansivity (that holds only for 1D CA). Similarly, we introduce the notions of quasi- sensitivity and prove that the classical dichotomy theorem holds in this new setting. Moreover, we show a tight relation between closingness and openness for 2D CA. Finally, the undecidability of closingness property for 2D CA is proved. Keywords: cellular automata, symbolic dynamics, (un-)decidability, tilings. 1 In troduction Cellular automata (CA) are a widely used formal model for complex systems with applications in many dierent elds ranging from physics to biology, com- puter science, mathematics, etc.. Although applications mainly concern two or higher dimensional CA, the study of the dynamical behavior has been mostly carried on in dimension 1. Only few results are known for dimension 2, and prac- tically speaking, a syste matic study of 2D CA dynamics has just start ed (see for example [21, 7]). This paper contr ibutes the following main results: properties characterizing quasi-expansive 2D CA; topolog ical entrop y of quasi -expa nsiv e 2D CA is innit e; a dichotomy for quasi-sensitivity. a tight relation between closingness and openness; undec idabili ty of closin gness for 2D CA; It is well-known that there is no positively expansive 2D CA [20]. However, the absence of positively expansive 2D CA seems, at a certain extent, more an artifact of Cantor metric than an intrinsic property of CA. In this paper we Corresponding author.   a   r    X    i   v   :    0    9    0    6  .    0    8    5    7   v    2    [   c   s  .    F    L    ]    2    9    S   e   p    2    0    0    9

Upload: raskhy

Post on 09-Apr-2018

232 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 1/24

Page 2: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 2/24

Page 3: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 3/24

Page 4: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 4/24

Page 5: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 5/24

Page 6: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 6/24

Page 7: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 7/24

Page 8: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 8/24

Page 9: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 9/24

Page 10: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 10/24

Page 11: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 11/24

Page 12: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 12/24

Page 13: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 13/24

Page 14: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 14/24

Page 15: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 15/24

Page 16: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 16/24

Page 17: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 17/24

Page 18: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 18/24

Page 19: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 19/24

Page 20: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 20/24

Page 21: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 21/24

Page 22: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 22/24

Page 23: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 23/24

Page 24: 2D Cellular Automata

8/8/2019 2D Cellular Automata

http://slidepdf.com/reader/full/2d-cellular-automata 24/24