DECIDABILITY OF UNIFORM RECURRENCE OF MORPHIC SEQUENCES
We prove that the uniform recurrence of morphic sequences is decidable. For this we show that the number of derived sequences of uniformly recurrent morphic sequences is bounded. As a corollary we obtain that uniformly recurrent morphic sequences are primitive substitutive sequences.
decidability uniform recurrence substitution morphism hdol sequence