Recognizing pro-R closures of regular languages

• Tipo: Artigo em Revista Científica Internacional
• Data: 2022

Autores

Almeida, J (Autor) FCUP; Costa, JC (Autor) Outra; Zeitoun, M (Autor) Outra

Revista

Título: Forum Mathematicum

Vol. 34

Páginas: 1131-1145

ISSN: 0933-7741

Editora: Walter De Gruyter

Indexação

ISI Web of Knowledge - 0 Citações

Scopus

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 15