dc.contributor.author | Brzozowski, Janusz | |
dc.contributor.author | Jirásková, Galina | |
dc.contributor.author | Li, Baiyu | |
dc.date.accessioned | 2017-11-13 22:52:28 (GMT) | |
dc.date.available | 2017-11-13 22:52:28 (GMT) | |
dc.date.issued | 2013-01-28 | |
dc.identifier.uri | http://dx.doi.org/10.1016/j.tcs.2012.10.055 | |
dc.identifier.uri | http://hdl.handle.net/10012/12624 | |
dc.description | The final publication is available at Elsevier via http://dx.doi.org/10.1016/j.tcs.2012.10.055 © 2013. 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.abstract | A language L over an alphabet Σ is a right (left) ideal if it satisfies L=LΣ∗ (L=Σ∗L). It is a two-sided ideal if L=Σ∗LΣ∗, and an all-sided ideal if L=Σ∗L, the shuffle of Σ∗ with L. Ideal languages are not only of interest from the theoretical point of view, but also have applications to pattern matching. We study the state complexity of common operations in the class of regular ideal languages, but prefer to use the equivalent term “quotient complexity”, which is the number of distinct left quotients of a language. We find tight upper bounds on the complexity of each type of ideal language in terms of the complexity of an arbitrary generator and of the minimal generator, and also on the complexity of the minimal generator in terms of the complexity of the language. Moreover, tight upper bounds on the complexity of union, intersection, set difference, symmetric difference, concatenation, star, and reversal of ideal languages are derived. | en |
dc.description.sponsorship | Natural Sciences and Engineering Research Council of Canada grant [OGP0000871] | en |
dc.description.sponsorship | VEGA grant 2/0111/09 | en |
dc.language.iso | en | en |
dc.publisher | Elsevier | en |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Regular language | en |
dc.subject | State complexity | en |
dc.subject | Finite automaton | en |
dc.subject | Ideal | en |
dc.subject | Operation | en |
dc.subject | Quotient complexity | en |
dc.title | Quotient Complexity of Ideal Languages | en |
dc.type | Article | en |
dcterms.bibliographicCitation | Brzozowski, J., Jirásková, G., & Li, B. (2013). Quotient Complexity of Ideal Languages. Theoretical Computer Science, 470(Supplement C), 36–52. https://doi.org/10.1016/j.tcs.2012.10.055 | en |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.typeOfResource | Text | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |