Complexity of proper prefix-convex regular languages

dc.contributor.authorBrzozowski, Janusz
dc.contributor.authorSinnamon, Corwin
dc.date.accessioned2020-03-18T16:06:50Z
dc.date.available2020-03-18T16:06:50Z
dc.date.issued2019-10-01
dc.descriptionThe 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/en
dc.description.abstractA 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.en
dc.description.sponsorshipThis work was supported by the Natural Sciences and Engineering Research Council of Canada grant No. OGP0000871.en
dc.identifier.urihttps://doi.org/10.1016/j.tcs.2018.07.015
dc.identifier.urihttp://hdl.handle.net/10012/15697
dc.language.isoenen
dc.publisherElsevieren
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectatomen
dc.subjectmost complexen
dc.subjectprefix-convexen
dc.subjectproperen
dc.subjectquotient complexityen
dc.subjectregular languageen
dc.subjectstate complexityen
dc.subjectsyntactic semigroupen
dc.titleComplexity of proper prefix-convex regular languagesen
dc.typeArticleen
dcterms.bibliographicCitationJ.A. Brzozowski, C. Sinnamon, Complexity of proper prefix-convex regular languages, Theoret. Comput. Sci. (2018), https://doi.org/10.1016/j.tcs.2018.07.015en
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen
uws.peerReviewStatusRevieweden
uws.scholarLevelFacultyen
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
1-s2.0-S0003267018313047-main.pdf
Size:
614.75 KB
Format:
Adobe Portable Document Format
Description:
Accepted manuscript

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.47 KB
Format:
Item-specific license agreed upon to submission
Description: