In this paper, we study one dimensional finite linear cellular automata with reflective boundary condition by using matrix algebra built on the field Z p . We present an algorithm for determining the reversibility of this family of cellular automata. We also answer the reversibility question for some special subfamilies. Finally, we present some examples of this family of cellular automata under the reflective boundary condition.
While the reversibility of multidimensional cellular automata is undecidable
and there exists a criterion for determining if a multidimensional linear
cellular automaton is reversible, there are only a few results about the
reversibility problem of multidimensional linear cellular automata under
boundary conditions. This work proposes a criterion for testing the
reversibility of a multidimensional linear cellular automaton under null
boundary condition and an algorithm for the computation of its reverse, if it
exists. The investigation of the dynamical behavior of a multidimensional
linear cellular automaton under null boundary condition is equivalent to
elucidating the properties of block Toeplitz matrix. The proposed criterion
significantly reduce the computational cost whenever the number of cells or the
dimension is large; the discussion can also apply to cellular automata under
periodic boundary condition with a minor modification
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.