Nr. 400 (1992): PB-400 Partial Automata and Finitely Generated Congruences: An Extension of Nerode's Theorem

Publiceret: 1992-06-01

Articles