Abstract:We study various complexity properties of suffix-free regular languages. The quotient complexity of a regular language $L$ is the number of left quotients of $L$; this is the same as the state complexity of $L$. A regular language $L'$ is a dialect of a regular language $L$ if it differs only slightly from $L$. The quotient complexity of an operation on regular languages is the maximal quotient complexity of the result of the operation expressed as a function of the quotient complexities of the operands. A sequence $(L_k,L_{k+1},\dots)$ of regular languages in some class ${\mathcal C}$, where $n$ is the quotient complexity of $L_n$, is called a stream. A stream is most complex in class ${\mathcal C}$ if its languages $L_n$ meet the complexity upper bounds for all basic measures. It is known that there exist such most complex streams in the class of regular languages, in the class of prefix-free languages, and also in the classes of right, left, and two-sided ideals. In contrast to this, we prove that there does not exist a most complex stream in the class of suffix-free regular languages. However, we do exhibit one ternary suffix-free stream that meets the bound for product and whose restrictions to binary alphabets meet the bounds for star and boolean operations. We also exhibit a quinary stream that meets the bounds for boolean operations, reversal, size of syntactic semigroup, and atom complexities. Moreover, we solve an open problem about the bound for the product of two languages of quotient complexities $m$ and $n$ in the binary case by showing that it can be met for infinitely many $m$ and $n$.

Most Complex Regular Right-Ideal Languages

Special Ideals in Partial Abelian Monoids

Regular Ideals, Ideal Intersections, and Quotients

Complexity of Suffix-Free Regular Languages

Reset Complexity of Ideal Languages

Maximal Syntactic Complexity of Regular Languages Implies Maximal Quotient Complexities of Atoms

Quotient Complexity of Star-Free Languages

Closure Properties of Subregular Languages Under Operations

Ideal factoriality, semistar operations, and quasiprincipal Ideals

Duality of Lattices Associated to Left and Right Quotients

Regular omega-Languages with an Informative Right Congruence

On the Structure and Complexity of Rational Sets of Regular Languages

A proof theory of right-linear (omega-)grammars via cyclic proofs

Formal language convexity in left-orderable groups

Relatively Regular Languages and Thin Codes

Almost Complete Intersections: Regularity of powers and Rees algebra

Representation of partially ordered sets over Von Neumann regular algebras. More prime, non-primitive regular rings

Rational sets in virtually abelian groups: languages and growth

Right ideals in non-associative universal enveloping algebras of Lie triple systems

A note on sequences and y-regularity of Rees algebra

Ore sets, denominator sets and the left regular left quotient ring of a ring