Complexity of proper prefix-convex regular languages
Loading...
Date
2019-10-01
Authors
Brzozowski, Janusz
Sinnamon, Corwin
Advisor
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
A language L over an alphabet Σ is prefix-convex if, for any words x,y,z ∈ Σ*, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages, which were studied elsewhere. Here we concentrate on prefix-convex languages that do not belong to any one of these classes; we call such languages proper. We exhibit most complex proper prefix-convex languages, which meet the bounds for the size of the syntactic semigroup, reversal, complexity of atoms, star, product, and boolean operations.
Description
The final publication is available at Elsevier via https://doi.org/10.1016/j.tcs.2018.07.015. © 2018. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/
Keywords
atom, most complex, prefix-convex, proper, quotient complexity, regular language, state complexity, syntactic semigroup