asynchronous cellular automata, cellular automata, Gottschalk's conjecture, non-uniform cellular automata, Reversibility, sofic group, surjunctivity.
