Conservation of some dynamical properties for operations on cellular automata

被引:42
作者
Acerbi, Luigi [2 ]
Dennunzio, Alberto [2 ]
Formenti, Enrico [1 ]
机构
[1] Univ Nice Sophia Antipolis, Lab 13S, F-06903 Sophia Antipolis, France
[2] Univ Milano Bicocca, Dipartimento Informat Sistemist & Comunicaz, I-20126 Milan, Italy
关键词
Cellular automata; Symbolic dynamics; EQUICONTINUITY; ATTRACTORS; LANGUAGES; POINTS; CHAOS;
D O I
10.1016/j.tcs.2009.05.004
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the family of all the Cellular Automata (CA) sharing the same local rule but having different memories. This family contains also all CA with memory m <= 0 (one-sided CA) which can act both on A(Z) and on A(N). We study several set theoretical and topological properties for these classes. In particular, we investigate whether the properties of a given CA are preserved when considering the CA obtained by changing the memory of the original one (shifting operation). Furthermore. we focus our attention on the one-sided CA acting on A(Z), starting from the one-sided CA acting on A(N) and having the same local rule (lifting operation). As a particular consequence of these investigations, we prove that the long-standing conjecture [Surjectivity double right arrow Dense Periodic Orbits (DPO)] can be restated in several different (but equivalent) ways. Furthermore, we give some results on properties conserved under the iteration of the CA global map. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码:3685 / 3693
页数:9
相关论文
共 37 条
[1]  
Acerbi L, 2007, LECT NOTES COMPUT SC, V4497, P1
[2]   A cellular automaton model for tumour growth in inhomogeneous environment [J].
Alarcón, T ;
Byrne, HM ;
Maini, PK .
JOURNAL OF THEORETICAL BIOLOGY, 2003, 225 (02) :257-274
[3]   ON DEVANEY DEFINITION OF CHAOS [J].
BANKS, J ;
BROOKS, J ;
CAIRNS, G ;
DAVIS, G ;
STACEY, P .
AMERICAN MATHEMATICAL MONTHLY, 1992, 99 (04) :332-334
[4]   Some properties of cellular automata with equicontinuity points [J].
Blanchard, F ;
Tisseur, P .
ANNALES DE L INSTITUT HENRI POINCARE-PROBABILITES ET STATISTIQUES, 2000, 36 (05) :569-582
[5]  
Boyle M, 1997, J REINE ANGEW MATH, V487, P27
[6]   Periodic points for onto cellular automata [J].
Boyle, M ;
Kitchens, B .
INDAGATIONES MATHEMATICAE-NEW SERIES, 1999, 10 (04) :483-493
[7]   Solution of some conjectures about topological properties of linear cellular automata [J].
Cattaneo, G ;
Dennunzio, A ;
Margara, L .
THEORETICAL COMPUTER SCIENCE, 2004, 325 (02) :249-271
[8]  
Cattaneo G, 2002, FUND INFORM, V52, P39
[9]   Investigating topological chaos by elementary cellular automata dynamics [J].
Cattaneo, G ;
Finelli, M ;
Margara, L .
THEORETICAL COMPUTER SCIENCE, 2000, 244 (1-2) :219-241
[10]   Non-uniform Cellular Automata [J].
Cattaneo, Gianpiero ;
Dennunzio, Alberto ;
Formenti, Enrico ;
Provillard, Julien .
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 :302-+