Abstract:The property of reversibility is quite meaningful for the classic theoretical computer science model, cellular automata. For the reversibility problem for a CA under null boundary conditions, while linear rules have been studied a lot, the non-linear rules remain unexplored at present. The paper investigates the reversibility problem of general one-dimensional CA on a finite field $\mathbb{Z}_p$, and proposes an approach to optimize the Amoroso's infinite CA surjectivity detection algorithm. This paper proposes algorithms for deciding the reversibility of one-dimensional CA under null boundary conditions. We propose a method to decide the strict reversibility of one-dimensional CA under null boundary conditions. We also provide a bucket chain based algorithm for calculating the reversibility function of one-dimensional CA under null boundary conditions. These decision algorithms work for not only linear rules but also non-linear rules. In addition, it has been confirmed that the reversibility function always has a period, and its periodicity is related to the periodicity of the corresponding bucket chain. Some of our experiment results of reversible CA are presented in the paper, complementing and validating the theoretical aspects, and thereby further supporting the research conclusions of this paper.

The Invertibility of Cellular Automata with Menory: Correcting Errors and New Conclusions

Topologically Mixing and Chaos of One Class of Bernoulli-Shift Cellular Automata Rules

Symbolics dynamics of elementary cellular automata rule 88

Topological Entropy and Complexity of One Class of Cellular Automata Rules

Elementary Cellular Automata with Memory

Reversibility of linear cellular automata with intermediate boundary condition

On complex dynamics from reversible cellular automata

Two Graphs: Resolving the Periodic Reversibility of One-dimensional Finite Cellular Automata

Reversibility of elementary cellular automata with fully asynchronous updating: An analysis of the rules with partial recurrence

Decision algorithms for reversibility of one-dimensional non-linear cellular automata under null boundary conditions

Designing Complex Dynamics in Cellular Automata with Memory

Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions

Phase Space Invertible Asynchronous Cellular Automata

Efficient Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Nonlinear Cellular Automata

Complex dynamics of elementary cellular automata emerging from chaotic rules

Modelling reliability of reversible circuits with 2D second-order cellular automata

On the minimal memory set of cellular automata

Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over $\mathbb{F}_2$

On the reversibility and the closed image property of linear cellular automata

Elementary cellular automata realized by stateful three-memristor logic operations