Show simple item record

dc.contributor.authorBrzozowski, Janusz
dc.contributor.authorDavies, Sylvie 16:58:17 (GMT) 16:58:17 (GMT)
dc.description.abstractA (left) quotient of a language L by a word w is the language w(-1) L = {x vertical bar wx is an element of L}. The quotient complexity of a regular language L is the number of quotients of L; it is equal to the state complexity of L, which is the number of states in a minimal deterministic finite automaton accepting L. An atom of L is an equivalence class of the relation in which two words are equivalent if for each quotient, they either are both in the quotient or both not in it; hence it is a non-empty intersection of complemented and uncomplemented quotients of L. A right (respectively, left and two-sided) ideal is a language L over an alphabet Sigma that satisfies L = L Sigma* (respectively, L = Sigma*L and L = Sigma*L Sigma*). We compute the maximal number of atoms and the maximal quotient complexities of atoms of right, left and two-sided regular ideals.en
dc.description.sponsorshipNatural Sciences and Engineering Research Council of Canada [OGP0000871]en
dc.publisherInstitute of Informatics: University of Szegeden
dc.subjectleft idealen
dc.subjectquotient complexityen
dc.subjectregular languageen
dc.subjectright idealen
dc.subjectstate complexityen
dc.subjectsyntactic semigroupen
dc.subjecttwo-sided idealen
dc.titleQuotient Complexities of Atoms in Regular Ideal Languagesen
dcterms.bibliographicCitationBrzozowski, J., & Davies, S. (2015). Quotient Complexities of Atoms in Regular Ideal Languages. Acta Cybernetica, 22(2), 293–311.
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages