This paper studies cellular automata with binary states on monoids making use of formulae in propositional logic, instead of local functions. Also we prove that the multiplication of formulae, defined by monoid action, determines the composition of transition functions of CA. This result converts the reversibility of transition functions to the reversibility of formulae. Several examples of reversible formulae are illustrated. Finally, introducing the Stone topology on configuration spaces, we give a neat proof of Hedlund’s theorem for CA.
CITATION STYLE
Ishida, T., Inokuchi, S., & Kawahara, Y. (2014). Cellular automata and formulae on monoids. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8751, 55–64. https://doi.org/10.1007/978-3-319-11520-7_7
Mendeley helps you to discover research relevant for your work.