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

DOIhttps://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.



Last updated on 2024-26-11 at 18:53