Given a regular language L, we effectively construct unary semigroup that recognizes the topological closure of L in free relative to variety semigroups generated by pseudovariety R all finite R-trivial semigroups. In particular, obtain new effective solution separation problem languages R-languages.