Recognizability of languages via deterministic finite automata with values on a monoid: General Myhill-Nerode Theorem

José Ramón González de Mendívil, Federico Fariña

This paper deals with the problem of recognizability of functions l: Sigma* --> M that map words to values in the support set M of a monoid (M,.,1). These functions are called M-la…