A Classification of Triplet Local Rules with Inverse Image Sequences
In a general transition system the number of inverse images of a configuration by its global transition is often related with some characteristic behaviors (for example, the reversibility) of the system. This paper studies sequences of such numbers of inverse images, and gives a necessary and sufficient condition for the global transitions to be reversible, and finally we show how to determine the recursive formulas of inverse image sequences defined for triplet local rules by using de Bruijn subautomata.
KeywordsCellular Automaton Transition System Regular Expression Inverse Image Recursive Formula
Unable to display preview. Download preview PDF.