Abstract
We present different techniques for reducing the number of states and transitions in nondeterministic automata. These techniques are based on the two preorders over the set of states, related to the inclusion of left and right languages. Since their exact computation is \( \mathcal{N}\mathcal{P} \)-hard, we focus on polynomial approximations which enable a reduction of the NFA all the same. Our main algorithm relies on a first approximation, which can be easily implemented by means of matrix products with an \( \mathcal{O}(sn^4 ) \) time complexity, and optimized to an \( \mathcal{O}(sn^3 ) \) time complexity, where s is the average nondeterministic arity and n is the number of states. This first algorithm appears to be more efficient than the known techniques based on equivalence relations as described by Lucian Ilie and Sheng Yu. Afterwards, we briefly describe some more accurate approximations and the exact (but exponential) calculation of these preorders by means of determinization.
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
J. Amilhastre, P. Janssen, and M.C. Vilarem. FA minimization heuristics for a class of finite languages. In O. Boldt and H. Jürgensen, editors, Automata Implementation, WIA’99, Lecture Notes in Computer Science, volume 2214, pages 1–12. Springer, 2001.
V. Antimirov. Rewriting regular inequalities. Lecture notes in computer science, 965:116–125, 1995.
J.A. Brzozowski. Canonical regular expressions and minimal state graphs for definite events. Mathematical Theory of Automata, MRI Symposia Series, 12:529–561, 1962.
J.-M. Champarnaud and F. Coulon. Theoretical study and implementation of the canonical automaton. Technical Report AIA 2003.03, LIFAR, Université de Rouen, 2003.
J.-M. Champarnaud, F. Coulon, and T. Paranthoën. Compact and fast algorithms for regular expression search. Technical Report AIA 2003.01, LIFAR, Université de Rouen, 2003.
J. Daciuk, B.-W. Watson, and R.-E. Watson. Incremental construction of minimal acyclic finite state automata and transducers. In L. Karttunen, editor, FSMNLP’98, pages 48–55. Association for Computational Linguistics, Somerset, New Jersey, 1998.
John E. Hopcroft. An n log n algorithm for minimizing the states in a finite automaton. In Z. Kohavi, editor, The Theory of Machines and Computations, pages 189–196. Academic Press, 1971.
H. Hunt, D. Rosenkrantz, and T. Szymanski. On the equivalence, containment and covering problems for the regular and context-free languages. J. Comput. System Sci., 12:222–268, 1976.
L. Ilie and S. Yu. Algorithms for computing small NFAs. In K. Diks and W. Rytter, editors, Lecture Notes in Computer Science, volume 2420, pages 328–340. Springer, 2002.
J. Jaja. An introduction to parallel algorithms. Addison-Wesley, 1992.
T. Jiang and B. Ravikumar. Minimal NFA problems are hard. SIAM J. Comput. Vol 22, No 6, pages 1117–1141, 1993.
T. Kameda and P. Weiner. On the state minimization of nondeterministic finite automata. IEEE Trans. Comp., C(19):617–627, 1970.
H. Sengoku. Minimization of nondeterministic finite automata. Master’s thesis, Kyoto University, 1992.
S. Wu and U. Manber. Fast text searching algorithm allowing errors. In Communication of the ACM, 31, pages 83–91, October 1992.
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
Champarnaud, JM., Coulon, F. (2003). NFA Reduction Algorithms by Means of Regular Inequalities. In: Ésik, Z., Fülöp, Z. (eds) Developments in Language Theory. DLT 2003. Lecture Notes in Computer Science, vol 2710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45007-6_15
Download citation
DOI: https://doi.org/10.1007/3-540-45007-6_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40434-7
Online ISBN: 978-3-540-45007-8
eBook Packages: Springer Book Archive