An efficient incremental DFA minimization algorithm
2003 ◽
Vol 9
(1)
◽
pp. 49-64
◽
Keyword(s):
In this paper, we present a new Deterministic Finite Automata (DFA) minimization algorithm. The algorithm is incremental – it may be halted at any time, yielding a partially-minimized automaton. All of the other (known) minimization algorithms have intermediate results which are not useable for partial minimization. Since the first algorithm is easily understood but inefficient, we consider three practical and effective optimizations. The first two optimizations do not affect the asymptotic worst-case running time – though they perform well on a large class of automata. The third optimization yields an quadratic-time algorithm which is competitive with the previously known ones.
2013 ◽
Vol 24
(07)
◽
pp. 1067-1082
◽
Keyword(s):
2014 ◽
Vol 25
(06)
◽
pp. 679-696
◽
1991 ◽
Vol 40
(10)
◽
pp. 1087-1093
◽
2012 ◽
Vol 23
(06)
◽
pp. 1207-1225
◽
2001 ◽
Vol 11
(06)
◽
pp. 707-735
◽
Keyword(s):
2012 ◽
Vol Vol. 14 no. 1
(Graph and Algorithms)
◽
2005 ◽
Vol 16
(05)
◽
pp. 975-984
◽