Abstract
We prove that two automata with multiplicity in \({\mathbb Z}\) are equivalent, i.e. define the same rational series, if and only if there is a sequence of \({\mathbb Z}\)-coverings, co- \({\mathbb Z}\)-coverings, and circulations of –1, which transforms one automaton into the other. Moreover, the construction of these transformations is effective.
This is obtained by combining two results: the first one relates coverings to conjugacy of automata, and is modeled after a theorem from symbolic dynamics; the second one is an adaptation of Schützenberger’s reduction algorithm of representations in a field to representations in an Euclidean domain (and thus in \({\mathbb Z}\)).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A.: Finite Transitions Systems. Prentice-Hall, Englewood Cliffs (1994)
Béal, M.-P., Perrin, D.: On the generating sequences of regular languages on k symbols. J. ACM 50, 955–980 (2003)
Berstel, J., Reutenauer, C.: Rational Series and their Languages. Springer, Heidelberg (1988)
Bloom, S., Esik, Z.: Iteration Theories. Springer, Heidelberg (1993)
Cardon, A., Crochemore, M.: Détermination de la représentation standard d’une série reconnaissable. RAIRO Inform. Théor. 14, 371–379 (1980)
Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press, London (1974)
Fliess, M.: Matrices de Hankel. J. Math. Pures Appl. 53(9), 197–222 (1974)
Flouret, M., Laugerotte, E.: Noncommutative minimization algorithms. Inform. Process. Lett. 64, 123–126 (1997)
Harju, T., Karhumäki, J.: The equivalence problem of multitape finite automata. Theoret. Comput. Sci. 78, 347–355 (1991)
Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Springer, Heidelberg (1986)
Lang, S.: Algebra. Addison Wesley, Reading (1965)
Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)
Lombardy, S., Sakarovitch, J.: Derivatives of rational expressions with multiplicity. Theoret. Comput. Sci. 332, 141–177 (2005)
Sakarovitch, J.: Eléments de théorie des automates. In: Vuibert, 2003. English translation. Cambridge Universit Press, Cambridge (2003) (to appear)
Salomaa, A., Soittola, M.: Automata-theoretic Aspects of Formal Power Series. Springer, Heidelberg (1978)
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Chichester (1986)
Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4, 245–270 (1961)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Béal, MP., Lombardy, S., Sakarovitch, J. (2005). On the Equivalence of \({\mathbb Z}\)-Automata. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds) Automata, Languages and Programming. ICALP 2005. Lecture Notes in Computer Science, vol 3580. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11523468_33
Download citation
DOI: https://doi.org/10.1007/11523468_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27580-0
Online ISBN: 978-3-540-31691-6
eBook Packages: Computer ScienceComputer Science (R0)