Skip to main content

The equality problem for rational series with multiplicities in the tropical semiring is undecidable

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1992)

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

Included in the following conference series:

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADLER A., A reduction of homogeneous diophantine problems, Journ. of London Math. Soc. (2), 3, pp. 446–448, 1971

    Google Scholar 

  2. BERSTEL J., REUTENAUER C., Rational series and their languages, Springer Verlag, 1986

    Google Scholar 

  3. CHOFFRUT C., Séries rationnelles d'image finie, Technical Report 79-6, LITP, Paris, 1979

    Google Scholar 

  4. CHOFFRUT C., Rational relations and rational series, Theor. Comput. Sci., 1992 (To appear)

    Google Scholar 

  5. DAVIS M., MATIJASEVIC Y., ROBINSON J., Hilbert's tenth problem, diophantine equations: positive aspects of a negative solution, Proceedings of Symposia in Pure Mathematics, Vol. 28, pp. 323–378, 1976

    Google Scholar 

  6. EILENBERG S., Automata, languages and machines, Vol. A, Academic Press, 1974

    Google Scholar 

  7. GIBBONS A., RYTTER W., On the decidability of some problems about rational subsets of free partially commutative monoids, Theor. Comp. Sci., 48, pp. 329–337, 1986

    Article  Google Scholar 

  8. SIMON I., Recognizable sets with multiplicities in the tropical semiring, [in ”MFCS'88 Proceedings”], Lect. Notes in Comput. Sci., 324, p. 107–120, Springer Verlag, 1988

    Google Scholar 

  9. SIMON I., Some open problems for automata with multiplicities, Private communication

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

W. Kuich

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krob, D. (1992). The equality problem for rational series with multiplicities in the tropical semiring is undecidable. In: Kuich, W. (eds) Automata, Languages and Programming. ICALP 1992. Lecture Notes in Computer Science, vol 623. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55719-9_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-55719-9_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55719-7

  • Online ISBN: 978-3-540-47278-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics