Incremental Construction of Compact Acyclic NFAs
Abstract
This paper presents and analyzes an incremental algorithm for the construction of Acyclic Non-deterministic Finite-state Automata (NFA). Automata of this type are quite useful in computational linguistics, especially for storing lexicons. The proposed algorithm produces compact NFAs, i.e. NFAs that do not contain equivalent states. Unlike Deterministic Finite-state Automata (DFA), this property is not sufficient to ensure minimality, but still the resulting NFAs are considerably smaller than the minimal DFAs for the same languages.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2002
- DOI:
- 10.48550/arXiv.cs/0201002
- arXiv:
- arXiv:cs/0201002
- Bibcode:
- 2002cs........1002S
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Computer Science - Computation and Language;
- E.1;
- F.2.2;
- H.3.1;
- I.2.7
- E-Print:
- 8(+2) pages, 4 figures, 1 table, 22 references. For related work, see also http://slt.wcl.ee.upatras.gr