An easy to check characterization of positive expansivity for additive cellular automata over a finite abelian group

A Dennunzio, E Formenti, L Margara - IEEE Access, 2023 - ieeexplore.ieee.org
Additive cellular automata over a finite abelian group are a wide class of cellular automata
(CA) that are able to exhibit most of the complex behaviors of general CA and they are often …

Computational complexity of dynamical systems: the case of cellular automata

P Di Lena, L Margara - Information and Computation, 2008 - Elsevier
Cellular Automata can be considered discrete dynamical systems and at the same time a
model of parallel computation. In this paper we investigate the connections between …

On the directional dynamics of additive cellular automata

A Dennunzio, P Di Lena, E Formenti… - Theoretical Computer …, 2009 - Elsevier
We continue the study of cellular automata (CA) directional dynamics, ie, the behavior of the
joint action of CA and shift maps. This notion has been investigated for general CA in the …

Revisiting the rice theorem of cellular automata

P Guillon, G Richard - arXiv preprint arXiv:1001.0253, 2010 - arxiv.org
A cellular automaton is a parallel synchronous computing model, which consists in a
juxtaposition of finite automata whose state evolves according to that of their neighbors. It …

[PDF][PDF] Cellular Automata Dynamical Systems.

A Dennunzio, E Formenti, P Kurka - 2012 - academia.edu
Cellular Automata (CA) are a simple formal model for complex systems. They are used in
many scientific fields (e, g., computer science, physics, mathematics, biology, chemistry …

On the undecidability of the limit behavior of cellular automata

P Di Lena, L Margara - Theoretical Computer Science, 2010 - Elsevier
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel
computation. The limit set of a cellular automaton is its maximal topological attractor. A well …

Nondeterministic cellular automata

P Di Lena, L Margara - Information Sciences, 2014 - Elsevier
Using purely topological concepts, we characterize the class of nondeterministic mappings
between shift spaces that give rise to nondeterministic sliding block codes. We use such …

Pre-expansivity in cellular automata

A Gajardo, V Nesme, G Theyssier - Theoretical Computer Science, 2020 - Elsevier
We introduce the notion of pre-expansivity for cellular automata (CA): it is the property of
being positively expansive on asymptotic pairs of configurations (ie configurations that differ …

Automates cellulaires: dynamiques, simulations, traces

P Guillon - 2008 - theses.hal.science
Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une
évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui …

Gardens of Eden in the Game of Life

V Salo, I Törmä - Automata and Complexity: Essays Presented to Eric …, 2022 - Springer
We prove that in the Game of Life, if the thickness-four zero-padding of a rectangular pattern
is not an orphan, then the corresponding finite-support configuration is not a Garden of …