Copyright © 2003 Elsevier B.V. All rights reserved.
Reducing NFAs by invariant equivalences*1
Received 22 April 2002;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
We give new general methods for constructing small non-deterministic finite automata (NFA) from arbitrary ones. Given an NFA, we compute the largest right-invariant equivalence on the set of states and then merge the equivalent states to obtain a smaller automaton. When applying this method to position automata, we get a way to convert regular expressions into NFAs which are always smaller than or equal to the position, partial derivative, and follow automata; it can be arbitrarily smaller. The construction can be dually made for left-invariant equivalences and then the two can be combined for even better results.
Author Keywords: Non-deterministic finite automata; Regular expressions; Automata minimization; Invariant equivalences; Derivatives of regular expressions







E-mail Article
Add to my Quick Links

Cited By in Scopus (7)

-transitions (




