Formations of monoids, congruences, and formal languages
NAGIOS: RODERIC FUNCIONANDO

Formations of monoids, congruences, and formal languages

Repositori DSpace/Manakin

Formations of monoids, congruences, and formal languages

Mostra el registre complet de l'element

Visualització       (447.0Kb)

Exportar a Refworks
    
Ballester-Bolinches, Adolfo Perfil; Cosme i Llópez, Enric; Esteban Romero, Ramón Perfil; Rutten, J.J.M.M.
Aquest document és un/a article, creat/da en: 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 existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman's equational description of pseudovarieties and varieties of monoids

    Ballester-Bolinches, Adolfo Cosme i Llópez, Enric Esteban Romero, Ramón Rutten, J.J.M.M. 2015 Formations of monoids, congruences, and formal languages Scientific Annals of Computer Science 25 2 171 209
http://dx.doi.org/10.7561/SACS.2015.2.171
distribuït sota llicència Creative Commons de Reconeixement-NoComercial 3.0 No adaptada

Aquest element apareix en la col·lecció o col·leccions següent(s)

Mostra el registre complet de l'element

Cerca a RODERIC

Cerca avançada

Visualitza

Estadístiques