English
Related papers

Related papers: State complexity of orthogonal catenation

200 papers

We compute the exact maximum state complexity for the language consisting of $m$ words of length $N$, and characterize languages achieving the maximum. We also consider a special case, namely languages $C(w)$ consisting of the conjugates of…

Formal Languages and Automata Theory · Computer Science 2019-12-19 Daniel Gabric , Štěpán Holub , Jeffrey Shallit

I study the state complexity of binary operations on regular languages over different alphabets. It is well known that if $L'_m$ and $L_n$ are languages restricted to be over the same alphabet, with $m$ and $n$ quotients, respectively, the…

Formal Languages and Automata Theory · Computer Science 2016-06-14 Janusz Brzozowski

The downward and upward closures of a regular language $L$ are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interiors of $L$ are obtained dually by collecting words having all…

Formal Languages and Automata Theory · Computer Science 2015-12-02 Prateek Karandikar , Matthias Niewerth , Philippe Schnoebelen

We resolve an open question by determining matching (asymptotic) upper and lower bounds on the state complexity of the operation that sends a language L to (c(L*))*, where c() denotes complement.

Formal Languages and Automata Theory · Computer Science 2012-03-27 Galina Jiraskova , Jeffrey Shallit

We present a new characteristic of a regular ideal language called reset complexity. We find some bounds on the reset complexity in terms of the state complexity of a given language. We also compare the reset complexity and the state…

Formal Languages and Automata Theory · Computer Science 2014-04-11 Marina Maslennikova

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of the class of regular languages is the maximal syntactic complexity of languages in that class, taken as…

Formal Languages and Automata Theory · Computer Science 2015-03-20 Janusz Brzozowski , Baiyu Li

We investigate the nondeterministic state complexity of basic operations for suffix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Yo-Sub Han , Kai Salomaa

Given a regular language $L$, we study the language of words $\mathsf{D}(L)$, that distinguish between pairs of different left-quotients of $L$. We characterize this distinguishability operation, show that its iteration has always a fixed…

Formal Languages and Automata Theory · Computer Science 2014-12-11 Cezar Câmpeanu , Nelma Moreira , Rogério Reis

We describe witness languages meeting the upper bound on the state complexity of the multiple concatenation of $k$ regular languages over an alphabet of size $k+1$ with a significantly simpler proof than that in the literature. We also…

Formal Languages and Automata Theory · Computer Science 2025-11-27 Jozef Jirásek , Galina Jirásková

A language L is prefix-free if, whenever words u and v are in L and u is a prefix of v, then u=v. Suffix-, factor-, and subword-free languages are defined similarly, where "subword" means "subsequence". A language is bifix-free if it is…

Formal Languages and Automata Theory · Computer Science 2011-05-13 Janusz Brzozowski , Galina Jirásková , Baiyu Li , Joshua Smith

If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at…

Formal Languages and Automata Theory · Computer Science 2019-12-18 Štěpán Holub

In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Guilherme Duarte , Nelma Moreira , Luca Prigioniero , Rogério Reis

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, taken as a function…

Formal Languages and Automata Theory · Computer Science 2011-09-16 Janusz Brzozowski , Baiyu Li

C\^{a}mpeanu and Ho (2004) determined the maximum finite state complexity of finite languages, building on work of Champarnaud and Pin (1989). They stated that it is very difficult to determine the number of maximum-complexity languages.…

Formal Languages and Automata Theory · Computer Science 2022-05-03 Bjørn Kjos-Hanssen , Lei Liu

A language $L$ over an alphabet $\Sigma$ is suffix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $z$ and $xyz$ are in $L$, then so is $yz$. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and…

Formal Languages and Automata Theory · Computer Science 2016-10-05 Janusz Brzozowski , Corwin Sinnamom

The state complexity of the result of a regular operation is often positively correlated with the number of distinct transformations induced by letters in the minimal deterministic finite automaton of the input languages. That is, more…

Formal Languages and Automata Theory · Computer Science 2018-09-07 Sylvie Davies

We improve some results relative to the state complexity of the multiple catenation described by Gao and Yu. In particular we nearly divide by 2 the size of the alphabet needed for witnesses. We also give some refinements to the algebraic…

Formal Languages and Automata Theory · Computer Science 2016-07-15 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

This paper is a continuation of our research work on state complexity of combined operations. Motivated by applications, we study the state complexities of two particular combined operations: catenation combined with star and catenation…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Bo Cui , Yuan Gao , Lila Kari , Sheng Yu

We exhaustively investigate possible combinations of a boolean operation together with a catenation. In many cases we prove and improve some conjectures by Brzozowski. For each family of operation, we endeavour to provide a common witness…

Formal Languages and Automata Theory · Computer Science 2017-07-12 Pascal Caron , Jean-Gabriel Luque , Bruno Patrou

We study the state complexity of binary operations on regular languages over different alphabets. It is known that if $L'_m$ and $L_n$ are languages of state complexities $m$ and $n$, respectively, and restricted to the same alphabet, the…

Formal Languages and Automata Theory · Computer Science 2017-12-22 Janusz Brzozowski , Corwin Sinnamon