"Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids."

Andreas Maletti (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics