Decidability of the HD0L ultimate periodicity problem

Pré-Publication, Document De Travail Année : 2012

(1)

Fabien Durand

In this paper we prove the decidability of the HD$0$L ultimate periodicity problem.

HD0L periodicity decidability return words

Combinatoire [math.CO] Informatique et langage [cs.CL] Mathématique discrète [cs.DM] Théorie et langage formel [cs.FL]

Fichier principal

periodicite051112.pdf (168.48 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00640990

Soumis le : jeudi 22 novembre 2012-15:34:58

Dernière modification le : lundi 11 mars 2024-15:16:03

Archivage à long terme le : samedi 23 février 2013-03:45:34

hal-00640990 , version 1 (14-11-2011)

hal-00640990 , version 2 (22-11-2012)

hal-00640990 , version 3 (02-01-2013)

Fabien Durand. Decidability of the HD0L ultimate periodicity problem. 2012. ⟨hal-00640990v2⟩

129 Consultations

181 Téléchargements