On reversible asynchronous non-uniform cellular automata
Dynamical Systems
2022-03-03 v2 Discrete Mathematics
Formal Languages and Automata Theory
Group Theory
Abstract
We study the class of asynchronous non-uniform cellular automata (ANUCA) over an arbitrary group universe with multiple local transition rules. We introduce the notion of stable injectivity, stable reversibility, stable post-surjectivity and investigate several dynamical properties of such automata. In particular, we establish the equivalence between reversibility, stable reversibility, and stable injectivity for ANUCA. We also prove the invertibility of several classes of injective and stably injective ANUCA. Counter-examples are given to highlight the differences between cellular automata and ANUCA.
Cite
@article{arxiv.2201.13283,
title = {On reversible asynchronous non-uniform cellular automata},
author = {Xuan Kien Phung},
journal= {arXiv preprint arXiv:2201.13283},
year = {2022}
}
Comments
Updated version with several modifications