scholarly journals SYNTACTIC COMPLEXITY OF ℛ- AND 𝒥-TRIVIAL REGULAR LANGUAGES

2014 ◽  
Vol 25 (07) ◽  
pp. 807-821 ◽  
Author(s):  
JANUSZ BRZOZOWSKI ◽  
BAIYU LI
Keyword(s):  
Upper Bounds ◽  
The State ◽  
Regular Languages ◽  
Syntactic Complexity ◽  
State Complexity

The syntactic complexity of a subclass of the class of regular languages is the maximal cardinality of syntactic semigroups of languages in that class, taken as a function of the state complexity n of these languages. We prove that n! and ⌊e(n − 1)⌋. are tight upper bounds for the syntactic complexity of ℛ- and 𝒥-trivial regular languages, respectively.

STATE COMPLEXITY OF CONCATENATION AND COMPLEMENTATION

2005 ◽  
Vol 16 (03) ◽  
pp. 511-529 ◽  
Author(s):  
JOZEF JIRÁSEK ◽  
GALINA JIRÁSKOVÁ ◽  
ALEXANDER SZABARI
Keyword(s):  
Upper Bound ◽  
Entire Range ◽  
Upper Bounds ◽  
The State ◽  
Regular Languages ◽  
State Complexity ◽  
Nondeterministic State

We investigate the state complexity of concatenation and the nondeterministic state complexity of complementation of regular languages. We show that the upper bounds on the state complexity of concatenation are also tight in the case that the first automaton has more than one accepting state. In the case of nondeterministic state complexity of complementation, we show that the entire range of complexities, up to the known upper bound can be produced.

On the state complexity of intersection of regular languages

1991 ◽  
Vol 22 (3) ◽  
pp. 52-54 ◽  
Author(s):  
Sheng Yu ◽  
Qingyu Zhuang
Keyword(s):  
The State ◽  
Regular Languages ◽  
State Complexity

scholarly journals Most Complex Non-Returning Regular Languages

2019 ◽  
Vol 30 (06n07) ◽  
pp. 921-957
Author(s):  
Janusz A. Brzozowski ◽  
Sylvie Davies
Keyword(s):  
Star Product ◽  
Upper Bounds ◽  
The State ◽  
Boolean Operations ◽  
Deterministic Finite Automaton ◽  
Initial State ◽  
Complexity Measures ◽  
State Complexity ◽  
Complex Sequence ◽  
Binary Operations

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.

scholarly journals State Complexity of Suffix Distance

2019 ◽  
Vol 30 (06n07) ◽  
pp. 1197-1216
Author(s):  
Timothy Ng ◽  
David Rappaport ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Upper Bounds ◽  
The State ◽  
Deterministic Finite Automaton ◽  
Tight Bound ◽  
State Complexity

The neighbourhood of a regular language with respect to the prefix, suffix and subword distance is always regular and a tight bound for the state complexity of prefix distance neighbourhoods is known. We give upper bounds for the state complexity of the neighbourhood of radius [Formula: see text] of an [Formula: see text]-state deterministic finite automaton language with respect to the suffix distance and the subword distance, respectively. For restricted values of [Formula: see text] and [Formula: see text] we give a matching lower bound for the state complexity of suffix distance neighbourhoods.

Square on Deterministic, Alternating, and Boolean Finite Automata

2019 ◽  
Vol 30 (06n07) ◽  
pp. 1117-1134
Author(s):  
Galina Jirásková ◽  
Ivana Krajňáková
Keyword(s):  
Upper Bound ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper Bounds ◽  
The State ◽  
Final States ◽  
Deterministic Finite Automaton ◽  
State Complexity

We investigate the state complexity of the square operation on languages represented by deterministic, alternating, and Boolean automata. For each [Formula: see text] such that [Formula: see text], we describe a binary language accepted by an [Formula: see text]-state deterministic finite automaton with [Formula: see text] final states meeting the upper bound [Formula: see text] on the state complexity of its square. We show that in the case of [Formula: see text], the corresponding upper bound cannot be met. Using the binary deterministic witness for square with [Formula: see text] states where half of them are final, we get the tight upper bounds [Formula: see text] and [Formula: see text] on the complexity of the square operation on alternating and Boolean automata, respectively.

scholarly journals State Complexity of Overlap Assembly

2020 ◽  
pp. 1-20
Author(s):  
Janusz A. Brzozowski ◽  
Lila Kari ◽  
Bai Li ◽  
Marek Szykuła
Keyword(s):  
Self Assembly ◽  
Binary Operation ◽  
The State ◽  
Regular Languages ◽  
Deterministic Finite Automaton ◽  
State Complexity ◽  
Dna Strands ◽  
Unary Languages ◽  
Number Formula ◽  
Dna Strand

The state complexity of a regular language [Formula: see text] is the number [Formula: see text] of states in a minimal deterministic finite automaton (DFA) accepting [Formula: see text]. The state complexity of a regularity-preserving binary operation on regular languages is defined as the maximal state complexity of the result of the operation where the two operands range over all languages of state complexities [Formula: see text] and [Formula: see text], respectively. We determine, for [Formula: see text], [Formula: see text], the exact value of the state complexity of the binary operation overlap assembly on regular languages. This operation was introduced by Csuhaj-Varjú, Petre, and Vaszil to model the process of self-assembly of two linear DNA strands into a longer DNA strand, provided that their ends “overlap”. We prove that the state complexity of the overlap assembly of languages [Formula: see text] and [Formula: see text], where [Formula: see text] and [Formula: see text], is at most [Formula: see text]. Moreover, for [Formula: see text] and [Formula: see text] there exist languages [Formula: see text] and [Formula: see text] over an alphabet of size [Formula: see text] whose overlap assembly meets the upper bound and this bound cannot be met with smaller alphabets. Finally, we prove that [Formula: see text] is the state complexity of the overlap assembly in the case of unary languages and that there are binary languages whose overlap assembly has exponential state complexity at least [Formula: see text].

State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages

2015 ◽  
Vol 26 (02) ◽  
pp. 211-227 ◽  
Author(s):  
Hae-Sung Eom ◽  
Yo-Sub Han ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Finite Automata ◽  
Constant Factor ◽  
The State ◽  
Regular Languages ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Binary Alphabet ◽  
Multiple Intersections

We investigate the state complexity of multiple unions and of multiple intersections for prefix-free regular languages. Prefix-free deterministic finite automata have their own unique structural properties that are crucial for obtaining state complexity upper bounds that are improved from those for general regular languages. We present a tight lower bound construction for k-union using an alphabet of size k + 1 and for k-intersection using a binary alphabet. We prove that the state complexity upper bound for k-union cannot be reached by languages over an alphabet with less than k symbols. We also give a lower bound construction for k-union using a binary alphabet that is within a constant factor of the upper bound.

Sign in / Sign up

Export Citation Format

Share Document