Recognizing pro-R closures of regular languages
Jorge Almeida, José Carlos Costa, Marc Zeitoun · arXiv (Cornell University) · 2019
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.