Periodicity, repetitions, and orbits of an automatic sequence

dc.creatorAllouche, Jean-Paul
dc.creatorRampersad, Narad
dc.creatorShallit, Jeffrey
dc.date2008-08-12
dc.date2009-01-23
dc.date.accessioned2026-07-07T13:02:11Z
dc.date.available2026-07-07T13:02:11Z
dc.descriptionWe 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 decidable whether a given k-automatic sequence is ultimately periodic. We prove that it is decidable whether a given k-automatic sequence is overlap-free (or squareefree, or cubefree, etc.) We prove that the lexicographically least sequence in the orbit closure of a k-automatic sequence is k-automatic, and use this last result to show that several related quantities, such as the critical exponent, irrationality measure, and recurrence quotient for Sturmian words with slope alpha, have automatic continued fraction expansions if alpha does.
dc.descriptionpreliminary version
dc.identifierhttps://arxiv.org/abs/0808.1657
dc.identifierhttp://arxiv.org/abs/0808.1657
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/226366
dc.subjectDiscrete Mathematics
dc.subjectFormal Languages and Automata Theory
dc.titlePeriodicity, repetitions, and orbits of an automatic sequence
dc.typetext

Files

Collections