×

Decidability of the HD0L ultimate periodicity problem. (English) Zbl 1361.68112

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

MSC:

68Q42 Grammars and rewriting systems
03B25 Decidability of theories and sets of sentences
68Q45 Formal languages and automata
PDFBibTeX XMLCite
Full Text: DOI arXiv