Return to Article Details A New Algorithm for Determining the Equivalence of Two Finite-State Automata Download PDF