Article ID Journal Published Year Pages File Type
438617 Theoretical Computer Science 2006 14 Pages PDF
Abstract

We present a fast incremental algorithm for constructing minimal Deterministic Finite Cover Automata (DFCA) for a given language. Since it was shown that the minimal DFCA for a language L has less states than the minimal Deterministic Finite Automata (DFA) for the same language L, this technique seems to be the best choice for incrementally building the automaton for a large language, especially when the number of states in the DFCA is significantly less than the number of states in the corresponding minimal DFA. We have implemented the proposed algorithm and have tested it against the best-known DFCA minimization technique.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics