Durand, Fabien Decidability of the HD0L ultimate periodicity problem. (English) Zbl 1361.68112 RAIRO, Theor. Inform. Appl. 47, No. 2, 201-214 (2013). Summary: In this paper we prove the decidability of the HD0L ultimate periodicity problem. Cited in 1 ReviewCited in 12 Documents MSC: 68Q42 Grammars and rewriting systems 03B25 Decidability of theories and sets of sentences 68Q45 Formal languages and automata Keywords:HD0L; periodicity; decidability; return words PDFBibTeX XMLCite \textit{F. Durand}, RAIRO, Theor. Inform. Appl. 47, No. 2, 201--214 (2013; Zbl 1361.68112) Full Text: DOI arXiv