A proof for the decidability of HD0L ultimate periodicity

Abstract

We give a proof for the decidability of the HD0L ultimate periodicity problem.

33 pages, in Russian

Cited by in corpus (2)

• Decidability of the HD0L ultimate periodicity problem
• An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention