Classes of Languages Generated by the Kleene Star of a Word
Daviaud, L. & Paperman, C. (2015). Classes of Languages Generated by the Kleene Star of a Word. In: Italiano, G., Pughizzini, G. & Sannella, D. (Eds.), Mathematical Foundations of Computer Science 2015. MFCS 2015. 40th International Symposium on Mathematical Foundations of Computer Science (MFCS), 24 - 28 Aug 2015, Milan, Italy. doi: 10.1007/978-3-662-48057-1_13
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.
Publication Type: | Conference or Workshop Item (Paper) |
---|---|
Publisher Keywords: | Normal Form, Boolean Algebra, Regular Language, Finite Union, Finite Intersection |
Departments: | School of Science & Technology > Computer Science |
Download (382kB) | Preview
Export
Downloads
Downloads per month over past year