Preview
Unable to display preview. Download preview PDF.
References
ADLER A., A reduction of homogeneous diophantine problems, Journ. of London Math. Soc. (2), 3, pp. 446–448, 1971
BERSTEL J., REUTENAUER C., Rational series and their languages, Springer Verlag, 1986
CHOFFRUT C., Séries rationnelles d'image finie, Technical Report 79-6, LITP, Paris, 1979
CHOFFRUT C., Rational relations and rational series, Theor. Comput. Sci., 1992 (To appear)
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
EILENBERG S., Automata, languages and machines, Vol. A, Academic Press, 1974
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
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
SIMON I., Some open problems for automata with multiplicities, Private communication
Author information
Authors and Affiliations
Editor information
Rights 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