1: \begin{abstract}

2:   Given a regular language $L$, we effectively construct a unary

3:   semigroup that recognizes the topological closure of~$L$ in the free

4:   unary semigroup relative to the variety of unary semigroups generated

5:   by the pseudovariety \pv R of all finite \Cl R-trivial semigroups. In

6:   particular, we obtain a new effective solution of the separation

7:   problem of regular languages by \pv R-languages.

8: \end{abstract}

9: