Equivalence Merger Algorithm in the Definite Finite Automaton
Daoyun Xu · Journal of Jinan University · 2006
This article mainly uses the method of equivalence to simplify the step of the proof of the regular language.We merge the equivalent states in some automaton by using equivalence merger algorithm and obtain the minimized automaton.