Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/87940| Título: | Recognizing pro-𝖱 closures of regular languages |
| Autor(es): | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
| Palavras-chave: | Free profinite semigroup Unary semigroup Regular language Profinite closure R-trivial semigroup Algebraic recognition Omega-term |
| Data: | Jul-2022 |
| Editora: | De Gruyter |
| Revista: | Forum Mathematicum |
| Resumo(s): | 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. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/87940 |
| DOI: | 10.1515/forum-2019-0158 |
| ISSN: | 1435-5337 |
| Versão da editora: | https://doi.org/10.1515/forum-2019-0158 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| ACZ_R-closures.pdf | 420,24 kB | Adobe PDF | Ver/Abrir |
