Decidability of the HD0L ultimate periodicity problem - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) Année : 2013

Decidability of the HD0L ultimate periodicity problem

Résumé

In this paper we prove the decidability of the HD$0$L ultimate periodicity problem.
Fichier principal
Vignette du fichier
periodicite020113.pdf (168.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00640990 , version 1 (14-11-2011)
hal-00640990 , version 2 (22-11-2012)
hal-00640990 , version 3 (02-01-2013)

Identifiants

Citer

Fabien Durand. Decidability of the HD0L ultimate periodicity problem. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2013. ⟨hal-00640990v3⟩
129 Consultations
181 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More