Decidability of the HD0L ultimate periodicity problem

Abstract

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