Ballester Bolinches, Adolfo; Cosme-Llópez, E.; Esteban Romero, Ramón; Rutten, J.J.M.M.(Alexandru Ioan Cuza University of Iasi, 2015)
The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the ...