Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/27493

TitleClosures of regular languages for profinite topologies
Author(s)Almeida, Jorge
Costa, José Carlos
Zeitoun, Marc
KeywordsPseudovariety
Profinite semigroup
Profinite topology
Pointlike set
Regular language
Aperiodic semigroup
Topological closure
Issue date8-Jan-2014
PublisherSpringer
JournalSemigroup Forum
Abstract(s)The Pin-Reutenauer algorithm gives a method, that can be viewed as a descriptive procedure, to compute the closure in the free group of a regular language with respect to the Hall topology. A similar descriptive procedure is shown to hold for the pseudovariety A of aperiodic semigroups, where the closure is taken in the free aperiodic omega-semigroup. It is inherited by a subpseudovariety of a given pseudovariety if both of them enjoy the property of being full. The pseudovariety A, as well as some of its subpseudovarieties are shown to be full. The interest in such descriptions stems from the fact that, for each of the main pseudovarieties V in our examples, the closures of two regular languages are disjoint if and only if the languages can be separated by a language whose syntactic semigroup lies in V. In the cases of A and of the pseudovariety DA of semigroups in which all regular elements are idempotents, this is a new result.
TypeArticle
URIhttp://hdl.handle.net/1822/27493
DOI10.1007/s00233-014-9574-3
ISSN0037-1912
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
ACZ-ClosRegLangProfTop.pdfDocumento principal396,33 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID