Periodicity, repetitions, and orbits of an automatic sequence

Jean-Paul Allouche, Narad Rampersad, Jeffrey Shallit

We revisit a technique of S. Lehr on automata and use it to prove old and new results in a simple way. We give a very simple proof of the 1986 theorem of Honkala that it is decidab…