2019
DOI: 10.48550/arxiv.1905.10460
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Recognizing pro-R closures of regular languages

Abstract: 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.

Help me understand this report
View published versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2021
2021

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 7 publications
0
1
0
Order By: Relevance
“…However, it is sometimes useful to consider an ("unnatural") interpretation of the operation symbol ∞ that makes the evaluation mapping E 1 discontinuous. This idea underlies the recent paper [7].…”
Section: Topological Algebrasmentioning
confidence: 80%
“…However, it is sometimes useful to consider an ("unnatural") interpretation of the operation symbol ∞ that makes the evaluation mapping E 1 discontinuous. This idea underlies the recent paper [7].…”
Section: Topological Algebrasmentioning
confidence: 80%