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}\)).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)