7,809 research outputs found
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
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
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 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
Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages
We study the syntactic complexity of finite/cofinite, definite and reverse
definite languages. The syntactic complexity of a class of languages is defined
as the maximal size of syntactic semigroups of languages from the class, taken
as a function of the state complexity n of the languages. We prove that (n-1)!
is a tight upper bound for finite/cofinite languages and that it can be reached
only if the alphabet size is greater than or equal to (n-1)!-(n-2)!. We prove
that the bound is also (n-1)! for reverse definite languages, but the minimal
alphabet size is (n-1)!-2(n-2)!. We show that \lfloor e\cdot (n-1)!\rfloor is a
lower bound on the syntactic complexity of definite languages, and conjecture
that this is also an upper bound, and that the alphabet size required to meet
this bound is \floor{e \cdot (n-1)!} - \floor{e \cdot (n-2)!}. We prove the
conjecture for n\le 4.Comment: 10 pages. An error concerning the size of the alphabet has been
corrected in Theorem
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
- …