English
Related papers

Related papers: Complexity of Suffix-Free Regular Languages

200 papers

We examine deterministic and nondeterministic state complexities of regular operations on prefix-free languages. We strengthen several results by providing witness languages over smaller alphabets, usually as small as possible. We next…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Galina Jirásková , Monika Krausová

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

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

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

We solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a suffix-free language with $n$ left quotients (that is, with state complexity $n$) is at most $(n-1)^{n-2}+n-2$ for $n\ge…

Formal Languages and Automata Theory · Computer Science 2015-10-16 Janusz Brzozowski , Marek Szykuła

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

A language $L$ is the orthogonal catenation of languages $L_1$ and $L_2$ if every word of $L$ can be written in a unique way as a catenation of a word in $L_1$ and a word in $L_2$. We establish a tight bound for the state complexity of…

Formal Languages and Automata Theory · Computer Science 2009-04-23 Mark Daley , Michael Domaratzki , Kai Salomaa

The \emph{state complexity} of a regular language $L_m$ is the number $m$ of states in a minimal deterministic finite automaton (DFA) accepting $L_m$. The state complexity of a regularity-preserving binary operation on regular languages is…

Formal Languages and Automata Theory · Computer Science 2018-12-13 Janusz Brzozowski , Lila Kari , Bai Li , Marek Szykuła

In this paper we consider the state complexity of an operation on formal languages, root(L). This naturally entails the discussion of the monoid of transformations of a finite set. We obtain good upper and lower bounds on the state…

Group Theory · Mathematics 2007-05-23 Bryan Krawetz , John Lawrence , Jeffery Shallit

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

Given a finite alphabet $\Sigma$ and a right-infinite word $\bf w$ over $\Sigma$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of…

Formal Languages and Automata Theory · Computer Science 2021-02-09 Jason P. Bell , Jeffrey Shallit

The state complexity, respectively, nondeterministic state complexity of a regular language $L$ is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for $L$. Some of the most…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Arto Salomaa , Kai Salomaa , Taylor J. Smith

Nonterminal complexity of a context-free language is the smallest possible number of nonterminals in its generating grammar. While in general case nonterminal complexity computation problem is unsolvable, it can be computed for different…

Formal Languages and Automata Theory · Computer Science 2021-03-23 Dmitry Golubenko

A regular language $L$ is union-free if it can be represented by a regular expression without the union operation. A union-free language is deterministic if it can be accepted by a deterministic one-cycle-free-path finite automaton; this is…

Formal Languages and Automata Theory · Computer Science 2018-01-04 Janusz A. Brzozowski , Sylvie Davies

A regular language $L$ is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jir\'askov\'a derived upper bounds on the state complexity of boolean…

Formal Languages and Automata Theory · Computer Science 2017-01-17 Janusz A. Brzozowski , Sylvie Davies

We solve two open problems concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a left ideal or a suffix-closed language with $n$ left quotients (that is, with state complexity $n$) is at most…

Formal Languages and Automata Theory · Computer Science 2014-07-04 Janusz Brzozowski , Marek Szykuła

It has been conjectured in 2011 by Brzozowski et al. that if $K$ and $L$ are factor-free regular languages over a binary alphabet having state complexity $m$ and $n$, resp, then the state complexity of $K\cup L$ is at most…

Formal Languages and Automata Theory · Computer Science 2014-05-07 Szabolcs Ivan

Descriptional complexity is the study of the conciseness of the various models representing formal languages. The state complexity of a regular language is the size, measured by the number of states of the smallest, either deterministic or…

Formal Languages and Automata Theory · Computer Science 2015-09-11 Yuan Gao , Nelma Moreira , Rogério Reis , Sheng Yu

We study the properties of syntactic monoids of bifix-free regular languages. In particular, we solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a bifix-free language with…

Formal Languages and Automata Theory · Computer Science 2018-10-09 Marek Szykuła , John Wittnebel

We present a trichotomy theorem for the quantum query complexity of regular languages. Every regular language has quantum query complexity Theta(1), ~Theta(sqrt n), or Theta(n). The extreme uniformity of regular languages prevents them from…

Quantum Physics · Physics 2019-04-17 Scott Aaronson , Daniel Grier , Luke Schaeffer