arXiv Open Access 2019

Recognizing pro-R closures of regular languages

Jorge Almeida José Carlos Costa Marc Zeitoun

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.GR cs.FL

Penulis (3)

Jorge Almeida

José Carlos Costa

Marc Zeitoun

Format Sitasi

APA MLA BibTeX

Almeida, J., Costa, J.C., Zeitoun, M. (2019). Recognizing pro-R closures of regular languages. https://arxiv.org/abs/1905.10460

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓