Generation by lazy and invertible cellular automata over the Klein four-group

Edgar Alcalá-Arroyo, Alonso Castillo-Ramirez, Haobo Ma +1

Let $G=C_2\times C_2$ and $A=\{0,1\}$. We characterize the submonoid of $\text{CA}(G;A)$ generated by lazy and invertible cellular automata. A cellular automaton belongs to this su…