Tilbage til artikeldetaljer Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem Download Download PDF