Periodicity, repetitions, and orbits of an automatic sequence
From MaRDI portal
Publication:2271417
DOI10.1016/j.tcs.2009.02.006zbMath1173.68044MaRDI QIDQ2271417
Narad Rampersad, Jeffrey O. Shallit, Jean-Paul Allouche
Publication date: 7 August 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.02.006
periodicity; orbit; decidability; Thue-Morse sequence; continued fraction; automatic sequence; orbit closure; squarefree; Rudin-Shapiro sequence; overlap-free
68R15: Combinatorics on words
11U05: Decidability (number-theoretic aspects)
11A55: Continued fractions
11B85: Automata sequences
Related Items
When is an automatic set an additive basis?, First-Order Logic and Numeration Systems, Unnamed Item, ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES, Unnamed Item, AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS, Automatic congruences for diagonals of rational functions, Lexicographically least words in the orbit closure of the Rudin-Shapiro word, Additive number theory via automata theory, Minimal automaton for multiplying and translating the Thue-Morse set, Substitutive systems and a finitary version of Cobham's theorem, How to prove that a sequence is not automatic, Abelian-square-rich words, Extremal words in morphic subshifts, The Critical Exponent is Computable for Automatic Sequences, On automatic infinite permutations, Automatic Theorem-Proving in Combinatorics on Words, Univoque Numbers and Automatic Sequences, Decision algorithms for Fibonacci-automatic Words, I: Basic results, A New Approach to the Paperfolding Sequences, Mechanical Proofs of Properties of the Tribonacci Word, A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Extremal properties of (epi)Sturmian sequences and distribution modulo 1
- On the topological structure of univoque sets
- On critical exponents in fixed points of non-erasing morphisms
- Unique expansions of real numbers
- A characterization of power-free morphisms
- Sharp characterizations of squarefree morphisms
- Folded continued fractions
- Sums and rational multiples of \(q\)-automatic sequences are \(q\)-automatic
- Simple continued fractions for some irrational numbers
- Limit values of the recurrence quotient of Sturmian sequences
- \textit{Grail}: A C++ library for automata and expressions
- The index of Sturmian sequences
- Extremal infinite overlap-free binary words
- Subexpansions, superexpansions and uniqueness properties in non-integer bases
- Some properties of the factors of Sturmian sequences.
- On cube-free \(\omega\)-words generated by binary morphisms
- Non-integer bases, iteration of continuous real maps, and an arithmetic self-similar set
- Reversals and palindromes in continued fractions
- Existence of finite test-sets for \(k\)-power-freeness of uniform morphisms
- On Critical exponents in fixed points ofk-uniform binary morphisms
- Univoque numbers and an avatar of Thue–Morse
- A decision method for the recognizability of sets defined by number systems
- Unique Developments in Non-Integer Bases
- Automatic Sequences
- If a DOL language is k-power free then it is circular
- A property ofm-tuplings morse sequence
- Constructions of strictly ergodic systems
- Characterization of the unique expansions $1=\sum^{\infty}_{i=1}q^{-n_ i}$ and related problems
