Group-Walking Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Group-Walking Automata

Ilkka Törmä
  • Fonction : Auteur
  • PersonId : 994202

Résumé

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.
Fichier principal
Vignette du fichier
338243_1_En_17_Chapter.pdf (381.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01442475 , version 1 (20-01-2017)

Licence

Paternité

Identifiants

Citer

Ville Salo, Ilkka Törmä. Group-Walking Automata. 21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.224-237, ⟨10.1007/978-3-662-47221-7_17⟩. ⟨hal-01442475⟩
39 Consultations
72 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More