Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information.
Obtaining a minimal automaton is a fundamental issue in the theory and practical implementation of deterministic finite automatons (DFAs). A minimization algorithm is presented in this paper that consists of two main phases. In the first phase, the backward depth information is built, and the state set of the DFA is partitioned into many blocks. In the second phase, the state set is refined using a hash table. The minimization algorithm has a lower time complexity O(n) than a naive comparison of transitions O(n2). Few states need to be refined by the hash table, because most states have been partitioned by the backward depth information in the coarse partition. This method achieves greater generality than previous methods because building the backward depth information is independent of the topological complexity of the DFA. The proposed algorithm can be applied not only to the minimization of acyclic automata or simple cyclic automata, but also to automata with high topological complexity. Overall, the proposal has three advantages: lower time complexity, greater generality, and scalability. A comparison to Hopcroft's algorithm demonstrates experimentally that the algorithm runs faster than traditional algorithms.
College of Mechatronics and Automation, National University of Defense Technology, ChangSha 410073, China.
Desheng
D
Liu
College of Mechatronics and Automation, National University of Defense Technology, ChangSha 410073, China.
Zhiping
Z
Huang
College of Mechatronics and Automation, National University of Defense Technology, ChangSha 410073, China.
Yimeng
Y
Zhang
College of Mechatronics and Automation, National University of Defense Technology, ChangSha 410073, China.
Xiaojun
X
Guo
College of Mechatronics and Automation, National University of Defense Technology, ChangSha 410073, China.
Shaojing
S
Su
D000465:Algorithms; D001331:Automation; D019295:Computational Biology / Q000379:methods*; D020342:Finite Element Analysis