. . . "A linear algorithm for testing equivalence of finite automata : J.E. Hopcroft ; R.M. Karp" . . "A linear algorithm for testing equivalence of finite automata"@en . . . . . . . .