9,587 research outputs found
Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages
A language over an alphabet is suffix-convex if, for any words
, whenever and are in , then so is .
Suffix-convex languages include three special cases: left-ideal, suffix-closed,
and suffix-free languages. We examine complexity properties of these three
special classes of suffix-convex regular languages. In particular, we study the
quotient/state complexity of boolean operations, product (concatenation), star,
and reversal on these languages, as well as the size of their syntactic
semigroups, and the quotient complexity of their atoms.Comment: 20 pages, 11 figures, 1 table. arXiv admin note: text overlap with
arXiv:1605.0669
Quotient Complexity of Ideal Languages
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/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.Natural Sciences and Engineering Research Council of Canada grant [OGP0000871]VEGA grant 2/0111/0
Complexity of right-ideal, prefix-closed, and prefix-free regular languages
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 as special cases. We examine complexity properties of these special prefix-convex languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal, the size of the syntactic semigroup, and the quotient complexity of atoms. For binary operations we use arguments with different alphabets when appropriate; this leads to higher tight upper bounds than those obtained with equal alphabets. We exhibit right-ideal, prefix-closed, and prefix-free languages that meet the complexity bounds for all the measures listed above
Complexity of Right-Ideal, Prefix-Closed, and Prefix-Free Regular Languages
A language L over an alphabet E is prefix-convex if, for any words x, y, z is an element of Sigma*, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages as special cases. We examine complexity properties of these special prefix-convex languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal, the size of the syntactic semi group, and the quotient complexity of atoms. For binary operations we use arguments with different alphabets when appropriate; this leads to higher tight upper bounds than those obtained with equal alphabets. We exhibit right-ideal, prefix-closed, and prefix-free languages that meet the complexity bounds for all the measures listed above.Natural Sciences and Engineering Research Council of Canada [OGP0000871
Most Complex Regular Ideal Languages
A right ideal (left ideal, two-sided ideal) is a non-empty language over an alphabet such that (, ). Let for right ideals, 4 for left ideals and 5 for two-sided ideals. We show that there exist sequences () of right, left, and two-sided regular ideals, where has quotient complexity (state complexity) , such that is most complex in its class under the following measures of complexity: the size of the syntactic semigroup, the quotient complexities of the left quotients of , the number of atoms (intersections of complemented and uncomplemented left quotients), the quotient complexities of the atoms, and the quotient complexities of reversal, star, product (concatenation), and all binary boolean operations. In that sense, these ideals are "most complex" languages in their classes, or "universal witnesses" to the complexity of the various operations.Natural Sciences and Engineering Research Council of Canada [OGP0000871
Quotient Complexities of Atoms in Regular Ideal Languages
A (left) quotient of a language by a word is the language
. The quotient complexity of a regular language
is the number of quotients of ; it is equal to the state complexity of ,
which is the number of states in a minimal deterministic finite automaton
accepting . An atom of 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 . A right (respectively, left
and two-sided) ideal is a language over an alphabet that satisfies
(respectively, and ). We
compute the maximal number of atoms and the maximal quotient complexities of
atoms of right, left and two-sided regular ideals.Comment: 17 pages, 4 figures, two table
Unrestricted State Complexity of Binary Operations on Regular and Ideal Languages
We study the state complexity of binary operations on regular languages over
different alphabets. It is known that if and are languages of
state complexities and , respectively, and restricted to the same
alphabet, the state complexity of any binary boolean operation on and
is , and that of product (concatenation) is . In
contrast to this, we show that if and are over different
alphabets, the state complexity of union and symmetric difference is
, that of difference is , that of intersection is , and
that of product is . We also study unrestricted complexity of
binary operations in the classes of regular right, left, and two-sided ideals,
and derive tight upper bounds. The bounds for product of the unrestricted cases
(with the bounds for the restricted cases in parentheses) are as follows: right
ideals (); left ideals ();
two-sided ideals (). The state complexities of boolean operations
on all three types of ideals are the same as those of arbitrary regular
languages, whereas that is not the case if the alphabets of the arguments are
the same. Finally, we update the known results about most complex regular,
right-ideal, left-ideal, and two-sided-ideal languages to include the
unrestricted cases.Comment: 30 pages, 15 figures. This paper is a revised and expanded version of
the DCFS 2016 conference paper, also posted previously as arXiv:1602.01387v3.
The expanded version has appeared in J. Autom. Lang. Comb. 22 (1-3), 29-59,
2017, the issue of selected papers from DCFS 2016. This version corrects the
proof of distinguishability of states in the difference operation on p. 12 in
arXiv:1609.04439v
Most Complex Regular Right-Ideal Languages
A right ideal is a language L over an alphabet A that satisfies L = LA*. We
show that there exists a stream (sequence) (R_n : n \ge 3) of regular right
ideal languages, where R_n has n left quotients and is most complex 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 the operations of reversal, star, and
product, and the state complexities of all binary boolean operations. In that
sense, this stream of right ideals is a universal witness.Comment: 19 pages, 4 figures, 1 tabl
- …