The Library
Classes of languages generated by the Kleene star of a word
Tools
Tools
Tools
Daviaud, Laure and Paperman, Charles (2018) Classes of languages generated by the Kleene star of a word. Information and Computation, 262 (Part 1). pp. 90-109. doi:10.1016/j.ic.2018.07.002 ISSN 0890-5401.
|
PDF
WRAP-classes-languages-generated-Kleene-star-Daviaud-2018.pdf - Accepted Version - Requires a PDF viewer. Download (793Kb) | Preview |
Official URL: https://doi.org/10.1016/j.ic.2018.07.002
Abstract
In this paper, we study the lattice and the Boolean algebra, possibly closed under quotient, generated by the languages of the form u*, where u is a word. We provide effective equational characterisations of these classes, i.e. one can decide using our descriptions whether a given regular language belongs or not to each of them.
| Item Type: | Journal Article | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||||||||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||||||||
| Library of Congress Subject Headings (LCSH): | Machine theory, Formal languages, Programming languages (Electronic computers), Logic, Symbolic and mathematical | ||||||||||||
| Journal or Publication Title: | Information and Computation | ||||||||||||
| Publisher: | Academic Press | ||||||||||||
| ISSN: | 0890-5401 | ||||||||||||
| Official Date: | October 2018 | ||||||||||||
| Dates: |
|
||||||||||||
| Volume: | 262 | ||||||||||||
| Number: | Part 1 | ||||||||||||
| Page Range: | pp. 90-109 | ||||||||||||
| DOI: | 10.1016/j.ic.2018.07.002 | ||||||||||||
| Status: | Peer Reviewed | ||||||||||||
| Publication Status: | Published | ||||||||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||||||||
| Date of first compliant deposit: | 19 July 2018 | ||||||||||||
| Date of first compliant Open Access: | 18 July 2019 | ||||||||||||
| RIOXX Funder/Project Grant: |
|
||||||||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
