## Figures and Tables from this paper

## 11 Citations

### Complexity of Suffix-Free Regular Languages⋆

- Mathematics
- 2015

A sequence (Lk, Lk+1 . . . ) of regular languages in some class C, where n is the state complexity of Ln, is called a stream. A stream is most complex in class C if its languages together with their…

### Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

- Linguistics, Computer ScienceLATA
- 2017

The quotient/state complexity of boolean operations, product, star, and reversal on suffix-convex languages, as well as the size of their syntactic semigroups, and the quotient complexity of their atoms are studied.

### Complexity of Proper Prefix-Convex Regular Languages

- Linguistics, Computer ScienceCIAA
- 2017

It is proved that three witness streams are required to meet all upper bounds for reversal, star, product, and boolean operations of proper suffix-convex languages, and it is conjecture on the size of the largest syntactic semigroup.

### Complexity of regular bifix-free languages

- Computer ScienceArXiv
- 2017

A stream of bifix-free languages is presented that is most complex in terms of all basic operations, syntactic complexity, and the number of atoms and their complexities, which requires a superexponential alphabet.

### Complexity of Bifix-Free Regular Languages

- Computer ScienceCIAA
- 2017

A stream of bifix-free languages is presented that is most complex in terms of all basic operations, syntactic complexity, and the number of atoms and their complexities, which requires a superexponential alphabet.

### Syntactic Complexity of Bifix-Free Languages

- Mathematics, Computer ScienceCIAA
- 2017

It is proved that the cardinality of the syntactic semigroup of a bifix-free language with state complexity n is at most \((n-1)^{n-3}+(n-2)^{ n-3}) + (n- 3)2-1 - 1, which is the minimal size of the alphabet required to meet the bound for \(n \geqslant 6\).

### Towards a Theory of Complexity of Regular Languages

- Computer Science, LinguisticsJ. Autom. Lang. Comb.
- 2018

This work surveys recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata, and turns to the study of the quotient/state complexity of common operations on regular languages: reversal, (Kleene) star, product (concatenation) and boolean operations.

### Most Complex Non-returning Regular Languages

- Computer ScienceDCFS
- 2017

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, and there is a most complex sequence of non-returning languages that meet the bounds for all of these complexity measures.

### State Complexity of Unambiguous Operations on Deterministic Finite Automata

- Computer ScienceDCFS
- 2018

The paper determines the number of states in a deterministic finite automaton (DFA) necessary to represent “unambiguous” variants of the union, concatenation, and Kleene star operations on formal…

## References

SHOWING 1-10 OF 53 REFERENCES

### Complexity of Suffix-Free Regular Languages⋆

- Mathematics
- 2015

A sequence (Lk, Lk+1 . . . ) of regular languages in some class C, where n is the state complexity of Ln, is called a stream. A stream is most complex in class C if its languages together with their…

### Symmetric Groups and Quotient Complexity of Boolean Operations

- MathematicsICALP
- 2014

The notion of uniform minimality to direct products of automata is generalized and the non-trivial connection between complexity of boolean operations and group theory is established.

### Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

- Linguistics, Computer ScienceLATA
- 2017

The quotient/state complexity of boolean operations, product, star, and reversal on suffix-convex languages, as well as the size of their syntactic semigroups, and the quotient complexity of their atoms are studied.

### In Search of Most Complex Regular Languages

- MathematicsInt. J. Found. Comput. Sci.
- 2012

The language stream (Un(a, b, c) | n ≥ 3) is defined by the deterministic finite automaton, where a performs a cyclic permutation of the n states, b transposes states 0 and 1, and c maps state n − 1 to state 0.

### Complexity in Convex Languages

- Linguistics, Computer ScienceLATA
- 2010

This paper surveys the recent results on convex languages with an emphasis on complexity issues.

### Most Complex Regular Right-Ideal Languages

- MathematicsDCFS
- 2014

It is shown that there exists a sequence of regular right-ideal languages, where R n has n left quotients and is most complex among regular right ideals under the following measures of complexity.

### Upper Bound on Syntactic Complexity of Suffix-Free Languages

- Computer Science, MathematicsDCFS
- 2015

It is proved that the cardinality of the syntactic semigroup of a suffix-free language with \(n\) left quotients is at most \((n-1)^{n-2}+ n-2\) for \(n\geqslant 7\).

### Complexity of Proper Prefix-Convex Regular Languages

- Linguistics, Computer ScienceCIAA
- 2017

It is proved that three witness streams are required to meet all upper bounds for reversal, star, product, and boolean operations of proper suffix-convex languages, and it is conjecture on the size of the largest syntactic semigroup.

### Syntactic Complexity of Bifix-Free Languages

- Mathematics, Computer ScienceCIAA
- 2017

It is proved that the cardinality of the syntactic semigroup of a bifix-free language with state complexity n is at most \((n-1)^{n-3}+(n-2)^{ n-3}) + (n- 3)2-1 - 1, which is the minimal size of the alphabet required to meet the bound for \(n \geqslant 6\).

### Quotient Complexity of Bifix-, Factor-, and Subword-free Regular Languages

- Linguistics, Computer ScienceActa Cybern.
- 2014

Tight upper bounds are found on the quotient complexity of intersection, union, difference, symmetric difference, concatenation, star, and reversal in these three classes of languages.