Abstract
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 (one-sided CA) which can act both on and on . 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 , starting from the one-sided CA acting on and having the same local rule (lifting operation). As a particular consequence of these investigations, we prove that the long-standing conjecture [Surjectivity 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.
Original language | English |
---|---|
Journal | Theoretical Computer Science |
Volume | 410 |
Issue number | 38-40 |
Pages (from-to) | 3685-3693 |
Number of pages | 9 |
ISSN | 0304-3975 |
DOIs | |
Publication status | Published - 6 Sept 2009 |
Externally published | Yes |
MoE publication type | A1 Journal article-refereed |
Event | 3rd Conference on Computability in Europe (CiE 2007) - Siena, Italy Duration: 18 Jun 2007 → 23 Jun 2007 |
Fields of Science
- Cellular automata
- Symbolic dynamics
- EQUICONTINUITY
- ATTRACTORS
- LANGUAGES
- POINTS
- CHAOS