HopcroftKarpEquivalence A linear algorithm for testing equivalence of finite automata Referências J. E. Hopcroft & R. M. Karp (1971): A linear algorithm for testing equivalence of finite automata. Technical Report 71–114, University of California.