Enumeration and Decidable Properties of Automatic Sequences

  • Émilie Charlier
  • Narad Rampersad
  • Jeffrey Shallit
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6795)


We show that various aspects of k-automatic sequences — such as having an unbordered factor of length n — are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular. These include many sequences previously studied in the literature, such as the recurrence function, the appearance function, and the repetitivity index. We also give a new characterization of the class of k-regular sequences. Many results extend to other sequences defined in terms of Pisot numeration systems.


Automatic Sequence Regular Language Decidable Property Distinct Factor Numeration System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allouche, J.-P., Baake, M., Cassaigne, J., Damanik, D.: Palindrome complexity. Theoret. Comput. Sci. 292, 9–31 (2003)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Allouche, J.-P., Rampersad, N., Shallit, J.: Periodicity, repetitions, and orbits of an automatic sequence. Theoret. Comput. Sci. 410, 2795–2803 (2009)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Allouche, J.-P., Shallit, J.O.: The ring of k-regular sequences. Theoret. Comput. Sci. 98, 163–197 (1992)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Allouche, J.-P., Shallit, J.O.: The ring of k-regular sequences, II. Theoret. Comput. Sci. 307, 3–29 (2003)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Allouche, J.-P., Shallit, J.: Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press, Cambridge (2003)CrossRefMATHGoogle Scholar
  6. 6.
    Berstel, J.: An exercise on Fibonacci representations. RAIRO Inform. Théor. App. 35, 491–498 (2001)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Berstel, J., Reutenauer, C.: Noncommutative Rational Series With Applications. Encyclopedia of Mathematics and Its Applications, vol. 137. Cambridge University Press, Cambridge (2011)MATHGoogle Scholar
  8. 8.
    Brown, S., Rampersad, N., Shallit, J., Vasiga, T.: Squares and overlaps in the Thue-Morse sequence and some variants. RAIRO Inform. Théor. App. 40, 473–484 (2006)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Bruyère, V., Hansel, G.: Bertrand numeration systems and recognizability. Theoret. Comput. Sci. 181, 17–43 (1997)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Bruyère, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and p-recognizable sets of integers. Bull. Belgian Math. Soc. 1, 191–238 (1994); Corrigendum, Bull. Belg. Math. Soc. 1, 577 (1994)Google Scholar
  11. 11.
    Carpi, A., D’Alonzo, V.: On the repetitivity index of infinite words. Internat. J. Algebra Comput. 19, 145–158 (2009)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Carpi, A., D’Alonzo, V.: On factors of synchronized sequences. Theor. Comput. Sci. (to appear 011)Google Scholar
  13. 13.
    Carpi, A., Maggi, C.: On synchronized sequences and their separators. RAIRO Inform. Théor. App. 35, 513–524 (2001)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Cobham, A.: Uniform tag sequences. Math. Systems Theory 6, 164–192 (1972)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Currie, J.D.: Lexicographically least words in the orbit closure of the Rudin-Shapiro word (2010), http://arxiv.org/pdf/0905.4923
  16. 16.
    Currie, J.D., Saari, K.: Least periods of factors of infinite words. RAIRO Inform. Théor. App. 43, 165–178 (2009)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Fagnot, I.: Sur les facteurs des mots automatiques. Theoret. Comput. Sci. 172, 67–89 (1997)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Frougny, C., Solomyak, B.: On representation of integers in linear numeration systems. In: Pollicott, M., Schmidt, K. (eds.) Ergodic Theory of ℤd Actions (Warwick, 1993–1994), London Mathematical Society Lecture Note Series, vol. 228, pp. 345–368. Cambridge University Press, Cambridge (1996)Google Scholar
  19. 19.
    Garel, E.: Séparateurs dans les mots infinis engendrés par morphismes. Theoret. Comput. Sci. 180, 81–113 (1997)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Halava, V., Harju, T., Kärki, T., Rigo, M.: On the periodicity of morphic words. In: Gao, Y., Lu, H., Seki, S., Yu, S. (eds.) DLT 2010. LNCS, vol. 6224, pp. 209–217. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  21. 21.
    Honkala, J.: A decision method for the recognizability of sets defined by number systems. RAIRO Inform. Théor. App. 20, 395–403 (1986)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Krieger, D., Shallit, J.: Every real number greater than 1 is a critical exponent. Theoret. Comput. Sci. 381, 177–182 (2007)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Leroux, J.: A polynomial time Presburger criterion and synthesis for number decision diagrams. In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pp. 147–156. IEEE Press, Los Alamitos (2005)CrossRefGoogle Scholar
  24. 24.
    Mossé, B.: Reconnaissabilité des substitutions et complexité des suites automatiques. Bull. Soc. Math. France 124, 329–346 (1996)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Nicolas, F., Pritykin, Y.: On uniformly recurrent morphic sequences. Internat. J. Found. Comp. Sci. 20, 919–940 (2009)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Saari, K.: On the Frequency and Periodicity of Infinite Words. PhD thesis, University of Turku, Finland (2008)Google Scholar
  27. 27.
    Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press, Cambridge (2009)CrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Émilie Charlier
    • 1
  • Narad Rampersad
    • 2
  • Jeffrey Shallit
    • 1
  1. 1.University of WaterlooWaterlooCanada
  2. 2.Department of MathematicsUniversity of LiègeLiègeBelgium

Personalised recommendations