Abstract
We show that for all integers n ≥ 7 and α, such that 5 ≤ α ≤ 2n - 2 and satisfying some coprimality conditions, there exists a minimum n-state nondeterministic finite automaton that is equivalent to a minimum deterministic finite automaton with exactly 2n - α states.
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
M. Rabin and D. Scott, “Finite automata and their decision problems,” IBM J. Res. Develop. 3, pp. 114–125, 1959.
O. B. Lupanov, “Uber den Vergleich zweier Typen endlicher Quellen,” Probleme der Kybernetik, Vol. 6, pp. 329–335, Akademie-Verlag, Berlin, 1966.
F. Moore, “On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic, and two-way finite automata,” IEEE Trans. Comput. C-20, pp. 1211–1214, 1971.
J. E. Hopcroft and J. D. Ullman, Introduction to automata theory, languages and computation, Addison-Wesley, 1979.
K. Iwama, Y. Kambayashi, and K. Takaki, “Tight bounds on the number of states of DFA’s that are equivalent to n-state NFA’s,” Theoretical Computer Science, to appear. (http://www.lab2.kuis.kyoto-u.ac.jp/iwama/NfaDfa.ps)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iwama, K., Matsuura, A., Paterson, M. (2000). A Family of NFA’s Which Need 2n — α Deterministic States. In: Nielsen, M., Rovan, B. (eds) Mathematical Foundations of Computer Science 2000. MFCS 2000. Lecture Notes in Computer Science, vol 1893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44612-5_39
Download citation
DOI: https://doi.org/10.1007/3-540-44612-5_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67901-1
Online ISBN: 978-3-540-44612-5
eBook Packages: Springer Book Archive