Abstract
The family of rational ω-languages which are accepted by a unique minimal ω-automaton — using deterministic automaton morphism reductions — is characterized. All the other rational ω-languages have an infinite number of minimal ω-automata.
Reseach on this paper was supported by ESPRIT-BRA working group ASMICS
Preview
Unable to display preview. Download preview PDF.
References
Do Long Van, B. Le Saëc, I. Litovsky, “A Syntactic Approach To Deterministic ω-Automata”, in Théorie des Automates et Applications (D. Krob ed.) Actes des Deuxièmes Journées Franco-Belges. Rouen (1991) 133–146.
S. Eilenberg “Automata, Languages And Machines” Vol.A (1974) and Vol.B (1976) Accademic Press New York.
B. Le Saëc “Saturating Right Congruences for Rational ω-Languages” R.A.I.R.O. Inform. Theor. Appl. 24 (1990) 545–560.
B. Le Saëc, J.E. Pin, P. Weil, “Finite semigroup whose stabilizers are idempotent”, International Journal of Algebra and Computation, Vol 1, N∘3 (1991) 291–314.
O. Maler, L. Staiger “On Syntactic Congruences For ω-languages” STACS'93, LNCS vol. 665, To appear.
R. McNaughton “Testing And Generating Infinite Sequences By Finite Automaton.” Inform. Control 9, (1966) 521–30.
D. Müller “Infinite Sequences And Finite Machines” Switching Theory and Logical Design, (Proc. 4th IEEE Symp.), (1963) 3–16.
S. Safra “On The Complexity Of ω-Automata” 29th Annual Symposium on Foundation of computer sciences, (1988) 24–29.
L. Staiger “Finite-state ω-languages” J. Computation. Sys. Sci. 27, (1983) 434–448.
A. Trachenbrot “Finite Automata And The Logic Of One-Place Predicates” Siberian Math. J. 3(1) (1962) 103–131.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Le Saëc, B., Litovsky, I. (1994). On the minimization problem for ω-automata. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_97
Download citation
DOI: https://doi.org/10.1007/3-540-58338-6_97
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58338-7
Online ISBN: 978-3-540-48663-3
eBook Packages: Springer Book Archive