Skip to main content

Local Squares, Periodicity and Finite Automata

  • Chapter
Rainbow of Computer Science

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6570))

Abstract

We consider the general problem when local regularity implies the global one in the setting where local regularity means the existence of a square of certain length in every position of an infinite word. The square can occur as centered or to the left or to the right from each position. In each case there are three variants of the problem depending on whether the square is that of words, that of abelian words or, as an in between case, that of so called k-abelian words. The above nine variants of the problem are completely solved, and some open problems are addressed in the k-abelian case. Finally, an amazing unavoidability result for 2-abelian squares is obtained.

Supported by the Academy of Finland under grants 121419 and 134190 and by the Väisälä Foundation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adian, S.I., Novikov, P.S.: Infinite periodic groups I, II, III. Izv. Akad. Nauk SSSR. Ser. Mat. 32(1,2,3), 212–244, 251–524, 709–731 (1968)

    Google Scholar 

  2. Avgustinovich, S., Karhumäki, J., Puzynina, S.: On abelian versions of Critical Factorization Theorem. In: Proceedings of the 13th Mons. Theoretical Computer Science Days (2010)

    Google Scholar 

  3. Burnside, W.: On an unsettled question in the theory of discontinuous groups. Quart. J. Pure and Appl. Math. 33, 230–238 (1902)

    MATH  Google Scholar 

  4. Choffrut, C., Karhumäki, J.: Combinatorics of words. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 329–438. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  5. Dekking, F.M.: Strongly nonrepetitive sequences and progression-free sets. J. Combin. Theory Ser. A 27(2), 181–185 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  6. Harmaala, E.: Private communication

    Google Scholar 

  7. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)

    MATH  Google Scholar 

  8. Karhumäki, J., Lepistö, A., Plandowski, W.: Locally periodic versus globally periodic infinite words. J. Combin. Theory Ser. A 100(2), 250–264 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  9. Keränen, V.: Abelian squares are avoidable on 4 letters. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 41–52. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  10. Lepistö, A.: On Relations between Local and Global Periodicity. PhD thesis, University of Turku (2002)

    Google Scholar 

  11. Lothaire, M.: Combinatorics on Words. Addison-Wesley, Reading (1983)

    MATH  Google Scholar 

  12. Lothaire, M.: Algebraic Combinatorics on Words. Cambridge University Press, Cambridge (2002)

    Book  MATH  Google Scholar 

  13. Mignosi, F., Restivo, A., Salemi, S.: Periodicity and the golden ratio. Theoret. Comput. Sci. 204(1-2), 153–167 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  14. Morse, M., Hedlund, G.A.: Unending chess, symbolic dynamics and a problem in semigroups. Duke Math. J. 11, 1–7 (1944)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Huova, M., Karhumäki, J., Saarela, A., Saari, K. (2011). Local Squares, Periodicity and Finite Automata. In: Calude, C.S., Rozenberg, G., Salomaa, A. (eds) Rainbow of Computer Science. Lecture Notes in Computer Science, vol 6570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19391-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19391-0_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19390-3

  • Online ISBN: 978-3-642-19391-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics