Skip to main content

Sturmian Graphs and a Conjecture of Moser

  • Conference paper
Developments in Language Theory (DLT 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3340))

Included in the following conference series:

Abstract

In this paper we define Sturmian graphs and we prove that all of them have a “counting” property. We show deep connections between this counting property and two conjectures, by Moser and by Zaremba, on the continued fraction expansion of real numbers. These graphs turn out to be the underlying graphs of CDAWGs of central Sturmian words. We show also that, analogously to the case of Sturmian words, these graphs converge to infinite ones.

Partially supported by MIUR National Project PRIN “Linguaggi Formali e Automi: teoria ed applicazioni.”

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
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. Blumer, A., Blumer, J., Haussler, D., Ehrenfeucht, A., Chen, M.T., Seiferas, J.: The Smallest Automaton Recognizing the Subwords of a Text. Theoretical Computer Science 40(1), 31–55 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Blumer, A., Blumer, J., Haussler, D., McConnell, R., Ehrenfeucht, A.: Complete inverted files for efficient text retrieval and analysis. Journal of the ACM 34(3), 578–595 (1987)

    Article  MathSciNet  Google Scholar 

  3. Blumer, A., Haussler, D., Ehrenfeucht, A.: Average sizes of suffix trees and dawgs. Discrete Applied Mathematics 24, 37–45 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  4. Borosh, I., Niederreiter, H.: Optimal multipliers for pseudo-random number generation by the linear congruential method. BIT 23, 65–74 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  5. Brezinski, C.: History of continued fractions and Padé approximants. Springer Series in Computational Mathematics, vol. 12. Springer-Verlag, Heidelberg (1991)

    MATH  Google Scholar 

  6. Crochemore, M.: Reducing space for index implementation. Theoretical Computer Science 292(1), 185–197 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  7. Crochemore, M., Vérin, R.: Direct Construction of Compact Directed Acyclic Word Graphs. In: Hein, J., Apostolico, A. (eds.) CPM 1997. LNCS, vol. 1264, Springer, Heidelberg (1997)

    Google Scholar 

  8. de Luca, A., Mignosi, F.: Some combinatorial properties of Sturmian words. TCS 136, 361–385 (1994)

    Article  MATH  Google Scholar 

  9. Epifanio, C., Mignosi, F., Shallit, J., Venturini, I.: Sturmian Graphs and a Conjecture of Moser. Technical Report 262, Dip. Mat. ed Appl., Università di Palermo. (2004), Available at http://math.unipa.it/~mignosi

  10. Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 5th edn. Oxford University Press, Oxford (1989)

    Google Scholar 

  11. Holub, J., Crochemore, M.: On the implementation of compact DAWG’s. In: Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2002. LNCS, vol. 2608, pp. 289–294. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Inenaga, S., Hoshino, H., Shinohara, A., Takeda, M., Arikawa, S., Mauri, G., Pavesi, G.: On-Line Construction of Compact Directed Acyclic Word Graphs. To appear in Discrete Applied Mathematics (special issue for CPM 2001).

    Google Scholar 

  13. Inenaga, S., Hoshino, H., Shinohara, A., Takeda, M., Arikawa, S., Mauri, G., Pavesi, G.: On-line construction of compact directed acyclic word graphs. In: Amir, A., Landau, G.M. (eds.) CPM 2001. LNCS, vol. 2089, pp. 169–180. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  14. Klette, R., Rosenfeld, A.: Digital straightness – a review. Discrete Applied Mathematics 139(1-3), 197–230 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  15. Larcher, G.: On the distribution of sequences connected with good lattice points. Monatshefte Math. 101, 135–150 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  16. Lothaire, M.: Combinatorics on Words. In: Encyclopedia of Mathematics and its Applications, vol. 17, Addison-Wesley, Reading (1983); Reprinted in the Cambridge Mathematical Library, Cambridge University Press (1997).

    Google Scholar 

  17. Lothaire, M.: Algebraic Combinatorics on Words. In: Encyclopedia of Mathematics and its Applications, vol. 90, Cambridge University Press, Cambridge (2002)

    Google Scholar 

  18. Perron, O.: Die Lehre von den Kettenbrüchen. B. G. Teubner, Stuttgart (1954)

    MATH  Google Scholar 

  19. Raffinot, M.: On maximal repeats in strings. Inf. Proc. Letters 83, 165–169 (2001)

    Article  MathSciNet  Google Scholar 

  20. Rauzy, G.: Mots infinis en arithmétique. In: Perrin, D., Nivat, M. (eds.) Automata on Infinite Words. LNCS, vol. 192, pp. 165–171. Springer, Heidelberg (1985)

    Google Scholar 

  21. Shallit, J.: Real numbers with bounded partial quotients. Enseignement Math. 38, 151–187 (1992)

    MATH  MathSciNet  Google Scholar 

  22. Zaremba, S.K.: La méthode de “bons treillis” pour le calcul des intégrales multiples. In: Zaremba, S.K. (ed.) Applications of Number Theory to Numerical Analysis, pp. 39–119. Academic Press, London (1972)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Epifanio, C., Mignosi, F., Shallit, J., Venturini, I. (2004). Sturmian Graphs and a Conjecture of Moser. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds) Developments in Language Theory. DLT 2004. Lecture Notes in Computer Science, vol 3340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30550-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30550-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24014-3

  • Online ISBN: 978-3-540-30550-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics