A new algorithm for the construction of minimal acyclic DFAs

  • Authors:
  • Bruce W. Watson

  • Affiliations:
  • Department of Computer Science, University of Pretoria, Pretoria 0002, South Africa and FST Labs & Ribbit Software Systems Inc., Canada

  • Venue:
  • Science of Computer Programming
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a semi-incremental algorithm for constructing minimal acyclic deterministic finite automata. Such automata are useful for storing sets of words for spell-checking, among other applications. The algorithm is semi-incremental because it maintains the automaton in nearly minimal condition and requires a final minimization step after the last word has been added (during construction).The algorithm derivation proceeds formally (with correctness arguments) from two separate algorithms, one for minimization and one for adding words to acyclic automata. The algorithms are derived in such a way as to be combinable, yielding a semi-incremental one. In practice, the algorithm is both easy to implement and displays good running time performance.