Recognizing pro- closures of regular languages

Detalhes bibliográficos
Autor(a) principal: Almeida, Jorge
Data de Publicação: 2022
Outros Autores: Costa, José Carlos, Zeitoun, Marc
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/87940
Resumo: Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite R-trivial semigroups. In particular, we obtain a new effective solution of the separation problem of regular languages by R-languages.
id RCAP_0b345c01fab19de8e0e181ba0a8e4592
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/87940
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Recognizing pro- closures of regular languagesFree profinite semigroupUnary semigroupRegular languageProfinite closureR-trivial semigroupAlgebraic recognitionOmega-termCiências Naturais::MatemáticasScience & TechnologyGiven a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite R-trivial semigroups. In particular, we obtain a new effective solution of the separation problem of regular languages by R-languages.PESSOA French–Portuguese project “Separation in automata theory: algebraic, logical, and combinatorial aspects”DeLTA project ANR-16-CE40-0007De GruyterUniversidade do MinhoAlmeida, JorgeCosta, José CarlosZeitoun, Marc2022-072022-07-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/1822/87940eng1435-533710.1515/forum-2019-0158https://doi.org/10.1515/forum-2019-0158info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-01-13T01:28:21Zoai:repositorium.sdum.uminho.pt:1822/87940Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T01:36:13.220945Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Recognizing pro- closures of regular languages
title Recognizing pro- closures of regular languages
spellingShingle Recognizing pro- closures of regular languages
Almeida, Jorge
Free profinite semigroup
Unary semigroup
Regular language
Profinite closure
R-trivial semigroup
Algebraic recognition
Omega-term
Ciências Naturais::Matemáticas
Science & Technology
title_short Recognizing pro- closures of regular languages
title_full Recognizing pro- closures of regular languages
title_fullStr Recognizing pro- closures of regular languages
title_full_unstemmed Recognizing pro- closures of regular languages
title_sort Recognizing pro- closures of regular languages
author Almeida, Jorge
author_facet Almeida, Jorge
Costa, José Carlos
Zeitoun, Marc
author_role author
author2 Costa, José Carlos
Zeitoun, Marc
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Almeida, Jorge
Costa, José Carlos
Zeitoun, Marc
dc.subject.por.fl_str_mv Free profinite semigroup
Unary semigroup
Regular language
Profinite closure
R-trivial semigroup
Algebraic recognition
Omega-term
Ciências Naturais::Matemáticas
Science & Technology
topic Free profinite semigroup
Unary semigroup
Regular language
Profinite closure
R-trivial semigroup
Algebraic recognition
Omega-term
Ciências Naturais::Matemáticas
Science & Technology
description Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite R-trivial semigroups. In particular, we obtain a new effective solution of the separation problem of regular languages by R-languages.
publishDate 2022
dc.date.none.fl_str_mv 2022-07
2022-07-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/87940
url https://hdl.handle.net/1822/87940
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1435-5337
10.1515/forum-2019-0158
https://doi.org/10.1515/forum-2019-0158
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv De Gruyter
publisher.none.fl_str_mv De Gruyter
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136837348884480

Registros relacionados