Recognizing pro-R closures of regular languages

DOI10.1515/FORUM-2019-0158MaRDI QIDQ6319339arXivFDO

Authors Jorge Almeida, José Carlos Costa, Marc Zeitoun

Publication date 24 May 2019

Published in arXiv

Full work available at URL https://doi.org/10.1515/FORUM-2019-0158

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35) Topological and differentiable algebraic systems (22A99) Algebraic theory of languages and automata (68Q70)

arXiv classification

cs.FLmath.GR

Abstract: 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.

This page was built for publication: Recognizing pro-R closures of regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319339)