Equivalent State of Finite Automata and Its Judgment Theorem. - Yue Xingyan; Hao Peifeng; Lin Zhao (ICACS, 2018)