Return to Article Details Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem Download Download PDF