Recognizing pro-R closures of regular languages

• Type: Article in International Scientific Journal
• Date: 2022

Authors

Almeida, J (Author) FCUP; Costa, JC (Author) Other; Zeitoun, M (Author) Other

Journal

Title: Forum Mathematicum

Vol. 34

Pages: 1131-1145

ISSN: 0933-7741

Publisher: Walter De Gruyter

Indexing

ISI Web of Knowledge - 0 Citations

Scopus

Other information

Authenticus ID: P-00W-Y26

DOI: 10.1515/forum-2019-0158

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15