Group-Walking Automata
: Ville Salo, Ilkka Törmä
: Jarkko Kari
: International Workshop on Cellular Automata and Discrete Complex Systems
: Berlin
: 2015
: Lecture Notes in Computer Science
: Cellular Automata and Discrete Complex Systems
: Lecture Notes in Computer Science
: 9099
: 224
: 237
: 14
: 978-3-662-47220-0
: 978-3-662-47221-7
: 0302-9743
DOI: https://doi.org/10.1007/978-3-662-47221-7_17
: http://link.springer.com/chapter/10.1007%2F978-3-662-47221-7_17
In the setting of symbolic dynamics on discrete finitely generated infinite groups, we define a model of multi-headed finite automata that walk on Cayley graphs, and use it to define subshifts. We characterize the torsion groups (also known as periodic groups) as those on which the group-walking automata are strictly weaker than Turing machines.