2000 character limit reached
Decidability of uniform recurrence of morphic sequences (1204.5393v2)
Published 24 Apr 2012 in math.CO and cs.DM
Abstract: 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.