Most Complex Regular Right-Ideal Languages
dc.contributor.author | Brzozowski, Janusz | |
dc.contributor.author | Davies, Gareth | |
dc.date.accessioned | 2017-09-29T14:03:09Z | |
dc.date.available | 2017-09-29T14:03:09Z | |
dc.date.issued | 2014 | |
dc.description | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-09704-6_9 | en |
dc.description.abstract | A right ideal is a language L over an alphabet Sigma that satisfies the equation L = L Sigma*. We show that there exists a sequence (Rn vertical bar n >= 3) of regular right-ideal languages, where R-n has n left quotients and is most complex among regular right ideals under the following measures of complexity: the state complexities of the left quotients, the number of atoms (intersections of complemented and uncomplemented left quotients), the state complexities of the atoms, the size of the syntactic semigroup, the state complexities of reversal, star, product, and all binary boolean operations that depend on both arguments. Thus (Rn vertical bar n >= 3) is a universal witness reaching the upper bounds for these measures. | en |
dc.description.sponsorship | Natural Sciences and Engineering Research Council of Canada [OGP0000871] | en |
dc.identifier.uri | http://dx.doi.org/10.1007/978-3-319-09704-6_9 | |
dc.identifier.uri | http://hdl.handle.net/10012/12512 | |
dc.language.iso | en | en |
dc.publisher | Springer | en |
dc.subject | atom | en |
dc.subject | operation | en |
dc.subject | quotient | en |
dc.subject | regular language | en |
dc.subject | right ideal | en |
dc.subject | state complexity | en |
dc.subject | syntactic semigroup | en |
dc.subject | universal witness | en |
dc.title | Most Complex Regular Right-Ideal Languages | en |
dc.type | Conference Paper | en |
dcterms.bibliographicCitation | Brzozowski, J., & Davies, G. (2014). Most Complex Regular Right-Ideal Languages. In H. Jürgensen, J. Karhumäki, & A. Okhotin (Eds.), Descriptional Complexity of Formal Systems (Vol. 8614, pp. 90–101). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-09704-6_9 | en |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |
uws.typeOfResource | Text | en |