A taxonomy of algorithms for constructing minimal acyclic deterministic finite automata
暂无分享,去创建一个
In this paper, we present a taxonomy of algorithms for constructing minimal acyclic deterministic finite automata (MADFAs). Such automata represent finite languages and are therefore useful in applications such as storing words for spell-checking, computer and biological virus searching, text indexing and XML tag lookup.In such applications, the automata can grow extremely large (with more than 106 states) and are difficult to store without compression or minimization. The taxonomization method arrives at all of the known algorithms, and some which are likely new ones (though proper attribution is not attempted, since the algorithms are usually of commercial value and some secrecy frequently surrounds the identities of the original authors).
[1] Bruce W. Watson. A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs , 1998, Workshop on Implementing Automata.
[2] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[3] Dominique Revuz,et al. Minimisation of Acyclic Deterministic Automata in Linear Time , 1992, Theor. Comput. Sci..