Skip to main content
SpringerLink
Log in

A characterization of rational D0L power series

  • Original Article
  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

We study D0L power series over an arbitrary field. We characterize those D0L power series which are also rational series. As a consequence we show that rationality is decidable for D0L power series over many fields.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Berstel J., Reutenauer C.: Rational Series and Their Languages. Springer, Berlin (1988)

    MATH  Google Scholar 

  2. Droste, M., Kuich, W., Vogler, H. (eds): Handbook of Weighted Automata. Springer, Berlin (2009)

    MATH  Google Scholar 

  3. Honkala J.: On the decidability of some equivalence problems for L algebraic series. Int. J. Algebra Comput. 7, 339–351 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  4. Honkala J.: On algebraicness of D0L power series. J. UCS 5, 11–19 (1999)

    MathSciNet  Google Scholar 

  5. Honkala J.: On sequences defined by D0L power series. Theor. Inform. Appl. 33, 125–132 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  6. Honkala J.: On D0L power series. Theor. Comput. Sci. 244, 117–134 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  7. Honkala J.: On images of D0L and DT0L power series. Theor. Comput. Sci. 290, 1869–1882 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  8. Honkala J. : On D0L power series over various semirings. In: Martin-Vide, C., Mitrana, V. (eds) Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back, pp. 263–273. Taylor and Francis, UK (2003)

    Chapter  Google Scholar 

  9. Honkala J., Kuich W.: On Lindenmayerian algebraic power series. Theor. Comput. Sci. 183, 113–142 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  10. Jacob G.: Un théorème de factorisation des produits d’endomorphismes de K n. J. Algebra 63, 389–412 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  11. Lothaire M.: Combinatorics on Words. Cambridge University Press, Cambridge (1997)

    Book  MATH  Google Scholar 

  12. Reutenauer C.: An Ogden-like iteration lemma for rational power series. Acta Inform. 13, 189–197 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  13. Rozenberg G., Salomaa A.: The Mathematical Theory of L Systems. Academic Press, New York (1980)

    MATH  Google Scholar 

  14. Rozenberg, G., Salomaa, A. (eds): Handbook of Formal Languages, vol. 1–3. Springer, Berlin (1997)

    MATH  Google Scholar 

  15. Salomaa, A.: Comparative decision problems between sequential and parallel rewriting. In: Proceedings Symposium Uniformly Structured Automata and Logic, pp. 62–66 (1975)

  16. Salomaa A., Soittola M.: Automata-Theoretic Aspects of Formal Power Series. Springer, Berlin (1978)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Turku, 20014, Turku, Finland

    Juha Honkala

Authors
  1. Juha Honkala
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juha Honkala.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Honkala, J. A characterization of rational D0L power series. Acta Informatica 48, 19–24 (2011). https://doi.org/10.1007/s00236-010-0128-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00236-010-0128-1

Keywords

Search

Navigation