Characterization of Non-reachable States in Irreversible CA State Space

摘要

This paper targets characterization of the non-reachable states of 1-dimensional Irreversible cellular automata (CA). A theoretical framework has been developed to design algorithms for computing the number of non-reachable states as well as the number of single cycle attractors of such a CA.