Abstract
A deterministic finite automaton (DFA) A is called a cover automaton (DFCA) for a finite language L over some alphabet σ if L = L(A) ∩ σ≤l, with l being the length of some longest word in L. Thus a word w ∈ σ* is in L if and only if ∣w∣ ≤ l and w ∈ L(A). The DFCA A is minimal if no DFCA for L has fewer states.
In this paper, we present an algorithm which converts an n-state DFA for some finite language L into a corresponding minimal DFCA, using only O(n log n) time and O(n) space. The best previously known algorithm [2] requires O(n 2) time and space. Furthermore, the new algorithm can also be used to minimize any DFCA, where the best previous method [1] takes O(n 4) time and space.
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
Câmpeanu, C., Sântean, N., Yu, S.: Minimal Cover-Automata for Finite Languages. In: Champarnaud, J.-M., Maurel, D., Ziadi, D. (eds.): Third International Workshop on Implementing Automata (WIA’98). Lecture Notes in Computer Science, Vol. 1660. Springer-Verlag, Berlin Heidelberg New York (1998) 32–42
Câmpeanu, C., Păun, A., Yu, S.: An Efficient Algorithm for Constructing Minimal Cover Automata for Finite Languages. International Journal of Foundations of Computer Science (2000), to appear
Păun, A., Sântean, N., Yu, S.: An O(n 2) Algorithm for Constructing Minimal Cover Automata for Finite Languages. In: Yu, S., Păun, A. (eds.): Implementation and Application of Automata (CIAA 2000). Lecture Notes in Computer Science, Vol. 2088. Springer-Verlag, Berlin Heidelberg New York (2000) 243–251
Corman, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)
Hopcroft, J.E.: An n log n algorithm for minimizing the states in a finite automaton. In: Kohavi, Z., Paz. A. (eds.): The Theory of Machines and Computations. Academic Press, New York (1971) 189–196
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, MA (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Körner, H. (2003). On Minimizing Cover Automata for Finite Languages in O(n log n) Time. In: Champarnaud, JM., Maurel, D. (eds) Implementation and Application of Automata. CIAA 2002. Lecture Notes in Computer Science, vol 2608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44977-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-44977-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40391-3
Online ISBN: 978-3-540-44977-5
eBook Packages: Springer Book Archive