Permutive one-way cellular automata and the finiteness problem for automaton groups - Université d'Orléans Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Permutive one-way cellular automata and the finiteness problem for automaton groups

Résumé

The decidability of the finiteness problem for automaton groups is a well-studied open question on Mealy automata. We connect this question of algebraic nature to the periodicity problem of one-way cellular automata, a dynamical question known to be undecidable in the general case. We provide a first undecidability result on the dynamics of one-way permutive cellular automata, arguing in favor of the undecidability of the finiteness problem for reset Mealy automata.
Fichier principal
Vignette du fichier
pocafpag.pdf (625.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01436460 , version 1 (16-01-2017)
hal-01436460 , version 2 (14-03-2017)

Identifiants

  • HAL Id : hal-01436460 , version 1

Citer

Martin Delacourt, Nicolas Ollinger. Permutive one-way cellular automata and the finiteness problem for automaton groups. 2017. ⟨hal-01436460v1⟩
402 Consultations
591 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More