Post-surjectivity and balancedness of cellular automata over groups

We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is...

Full description

Bibliographic Details
Main Authors: Silvio Capobianco, Jarkko Kari, Siamak Taati
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2017-09-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:https://dmtcs.episciences.org/1485/pdf