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

  • Daniel Krob
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 623)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ADLER A., A reduction of homogeneous diophantine problems, Journ. of London Math. Soc. (2), 3, pp. 446–448, 1971Google Scholar
  2. [2]
    BERSTEL J., REUTENAUER C., Rational series and their languages, Springer Verlag, 1986Google Scholar
  3. [3]
    CHOFFRUT C., Séries rationnelles d'image finie, Technical Report 79-6, LITP, Paris, 1979Google Scholar
  4. [4]
    CHOFFRUT C., Rational relations and rational series, Theor. Comput. Sci., 1992 (To appear)Google Scholar
  5. [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, 1976Google Scholar
  6. [6]
    EILENBERG S., Automata, languages and machines, Vol. A, Academic Press, 1974Google Scholar
  7. [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, 1986CrossRefGoogle Scholar
  8. [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, 1988Google Scholar
  9. [9]
    SIMON I., Some open problems for automata with multiplicities, Private communicationGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Daniel Krob
    • 1
  1. 1.Institut Blaise Pascal; LITPLACIM and CNRSFrance

Personalised recommendations