Geodesic
Decidability of the HD0L ultimate periodicity problem
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013) no. 2, pp. 201-214

Voir la notice de l'article provenant de la source Numdam

In this paper we prove the decidability of the HD0L ultimate periodicity problem.

DOI : 10.1051/ita/2013035
Classification : 68Q45, 03B25
Keywords: HD0L - periodicity - decidability - return words 
@article{ITA_2013__47_2_201_0,
     author = {Durand, Fabien},
     title = {Decidability of the {HD0L} ultimate periodicity problem},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {201--214},
     publisher = {EDP-Sciences},
     volume = {47},
     number = {2},
     year = {2013},
     doi = {10.1051/ita/2013035},
     mrnumber = {3072319},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2013035/}
}
TY  - JOUR
AU  - Durand, Fabien
TI  - Decidability of the HD0L ultimate periodicity problem
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2013
SP  - 201
EP  - 214
VL  - 47
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2013035/
DO  - 10.1051/ita/2013035
LA  - en
ID  - ITA_2013__47_2_201_0
ER  - 
%0 Journal Article
%A Durand, Fabien
%T Decidability of the HD0L ultimate periodicity problem
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2013
%P 201-214
%V 47
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2013035/
%R 10.1051/ita/2013035
%G en
%F ITA_2013__47_2_201_0
Durand, Fabien. Decidability of the HD0L ultimate periodicity problem. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013) no. 2, pp. 201-214. doi: 10.1051/ita/2013035

Cité par Sources :