A positive extension of Eilenberg&apos

[EN] In this paper we go further with the study initiated by Behle, Krebs and Reifferscheid (in: Proceedings CAI 2011, Lecture Notes in Computer Science, vol 6742, pp 97-114, 2011), who gave an Eilenberg-type theorem for non-regular languages via typed monoids. We provide a new extension of that res...

Full description

Bibliographic Details
Authors: Cano Gómez, Antonio, Cantero Delgado, Jesús, Martínez-Pastor, Ana|||0000-0002-0208-4098
Format: article
Publication Date:2021
Country:España
Institution:Universitat Politècnica de València (UPV)
Repository:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Language:English
OAI Identifier:oai:riunet.upv.es:10251/182919
Online Access:https://riunet.upv.es/handle/10251/182919
Access Level:Open access
Keyword:Monoids
Varieties
Formal languages
LENGUAJES Y SISTEMAS INFORMATICOS
MATEMATICA APLICADA
id ES_20db0cf7d1ef37f2da5c28df255c67a4
oai_identifier_str oai:riunet.upv.es:10251/182919
network_acronym_str ES
network_name_str España
repository_id_str
spelling A positive extension of Eilenberg&aposs variety theorem for non-regular languagesCano Gómez, AntonioCantero Delgado, JesúsMartínez-Pastor, Ana|||0000-0002-0208-4098MonoidsVarietiesFormal languagesLENGUAJES Y SISTEMAS INFORMATICOSMATEMATICA APLICADA[EN] In this paper we go further with the study initiated by Behle, Krebs and Reifferscheid (in: Proceedings CAI 2011, Lecture Notes in Computer Science, vol 6742, pp 97-114, 2011), who gave an Eilenberg-type theorem for non-regular languages via typed monoids. We provide a new extension of that result, inspired by the one carried out by Pin in the regular case in 1995, who considered classes of languages not necessarily closed under complement. We introduce the so-called positively typed monoids, and give a correspondence between varieties of such algebraic structures and positive varieties of possibly non-regular languages. We also prove a similar result for classes of languages with weaker closure propertiesThe third author is supported by Proyecto PGC2018-096872-B-100-AR, Agencia Estatal de Investigacion (Spain), and by Proyecto Prometeo/2017/057, Generalitat Valenciana (Spain).Springer-VerlagDepartamento de Matemática AplicadaInstituto Universitario de Matemática Pura y AplicadaEscuela Técnica Superior de Ingeniería InformáticaGeneralitat ValencianaAGENCIA ESTATAL DE INVESTIGACIONRepositorio Institucional de la Universitat Politècnica de València Riunet20212021-11-01journal articlehttp://purl.org/coar/resource_type/c_6501VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfapplication/pdfhttps://riunet.upv.es/handle/10251/182919reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)InglésengAgencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020 PGC2018-096872-B-I00 GRUPOS, ESTRUCTURA LOCAL-GLOBAL E INVARIANTES NUMERICOSGeneralitat Valenciana https://doi.org/10.13039/501100003359 Prometeo%2F2017%2F057 Grupos y semigrupos: estructura y aplicacionesopen accesshttp://purl.org/coar/access_right/c_abf2Reserva de todos los derechoshttp://rightsstatements.org/vocab/InC/1.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/1829192026-06-13T07:49:27Z
dc.title.none.fl_str_mv A positive extension of Eilenberg&apos
s variety theorem for non-regular languages
title A positive extension of Eilenberg&apos
spellingShingle A positive extension of Eilenberg&apos
Cano Gómez, Antonio
Monoids
Varieties
Formal languages
LENGUAJES Y SISTEMAS INFORMATICOS
MATEMATICA APLICADA
title_short A positive extension of Eilenberg&apos
title_full A positive extension of Eilenberg&apos
title_fullStr A positive extension of Eilenberg&apos
title_full_unstemmed A positive extension of Eilenberg&apos
title_sort A positive extension of Eilenberg&apos
dc.creator.none.fl_str_mv Cano Gómez, Antonio
Cantero Delgado, Jesús
Martínez-Pastor, Ana|||0000-0002-0208-4098
author Cano Gómez, Antonio
author_facet Cano Gómez, Antonio
Cantero Delgado, Jesús
Martínez-Pastor, Ana|||0000-0002-0208-4098
author_role author
author2 Cantero Delgado, Jesús
Martínez-Pastor, Ana|||0000-0002-0208-4098
author2_role author
author
dc.contributor.none.fl_str_mv Departamento de Matemática Aplicada
Instituto Universitario de Matemática Pura y Aplicada
Escuela Técnica Superior de Ingeniería Informática
Generalitat Valenciana
AGENCIA ESTATAL DE INVESTIGACION
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Monoids
Varieties
Formal languages
LENGUAJES Y SISTEMAS INFORMATICOS
MATEMATICA APLICADA
topic Monoids
Varieties
Formal languages
LENGUAJES Y SISTEMAS INFORMATICOS
MATEMATICA APLICADA
description [EN] In this paper we go further with the study initiated by Behle, Krebs and Reifferscheid (in: Proceedings CAI 2011, Lecture Notes in Computer Science, vol 6742, pp 97-114, 2011), who gave an Eilenberg-type theorem for non-regular languages via typed monoids. We provide a new extension of that result, inspired by the one carried out by Pin in the regular case in 1995, who considered classes of languages not necessarily closed under complement. We introduce the so-called positively typed monoids, and give a correspondence between varieties of such algebraic structures and positive varieties of possibly non-regular languages. We also prove a similar result for classes of languages with weaker closure properties
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-11-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/182919
url https://riunet.upv.es/handle/10251/182919
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv Agencia Estatal de Investigación http://dx.doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020 PGC2018-096872-B-I00 GRUPOS, ESTRUCTURA LOCAL-GLOBAL E INVARIANTES NUMERICOS
Generalitat Valenciana https://doi.org/10.13039/501100003359 Prometeo%2F2017%2F057 Grupos y semigrupos: estructura y aplicaciones
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer-Verlag
publisher.none.fl_str_mv Springer-Verlag
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869404483291709440
score 15,300719

Similar Items