Most Complex Non-Returning Regular Languages

Abstract

A regular language [Formula: see text] is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of boolean operations and Kleene star, and proved that these bounds are tight using two different binary witnesses. They derived tight upper bounds for concatenation and reversal using three different ternary witnesses. These five witnesses use a total of six different transformations. We show that for each [Formula: see text], there exists a ternary witness of state complexity [Formula: see text] that meets the bound for reversal, and restrictions of this witness to binary alphabets meet the bounds for star, product, and boolean operations. Hence all of these operations can be handled simultaneously with a single witness, using only three different transformations. We also derive tight upper bounds on the state complexity of binary operations that take arguments with different alphabets. We prove that the maximal syntactic semigroup of a non-returning language has [Formula: see text] elements and requires at least [Formula: see text] generators. We find the maximal state complexities of atoms of non-returning languages. We show that there exists a most complex sequence of non-returning languages that meet the bounds for all of these complexity measures. Furthermore, we prove there is a most complex sequence that meets all the bounds using alphabets of minimal size.