论文标题
在可逆的异步非均匀细胞自动机上
On reversible asynchronous non-uniform cellular automata
论文作者
论文摘要
我们在具有多个局部过渡规则的任意群体上研究异步非均匀细胞自动机（ANUCA）的类别。我们介绍了稳定的注射性，稳定的可逆性，稳定的解释性概念，并研究了这种自动机的几种动力学特性。特别是，我们确定了可逆性，稳定的可逆性和对Anuca的稳定注入性之间的等价性。我们还证明了几类注射和稳定的注入性ANUCA的不可逆转性。进行反例以突出细胞自动机和ANUCA之间的差异。
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.
