English
Related papers

Related papers: Syntactic Complexity of Prefix-, Suffix-, Bifix-, …

200 papers

As speakers turn their thoughts into sentences, they maintain a balance between the complexity of words and syntax. However, it is unclear whether this syntax-lexicon tradeoff is unique to the spoken language production that is under the…

Computation and Language · Computer Science 2022-06-28 Neguine Rezaii

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

We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula…

Combinatorics · Mathematics 2015-07-16 Bo Tan , Zhi-Xiong Wen , Yiping Zhang

The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented. Since state complexity is a property of a language, it is…

Formal Languages and Automata Theory · Computer Science 2009-07-28 Janusz Brzozowski

A right ideal is a language L over an alphabet A that satisfies L = LA*. We show that there exists a stream (sequence) (R_n : n \ge 3) of regular right ideal languages, where R_n has n left quotients and is most complex under the following…

Formal Languages and Automata Theory · Computer Science 2013-11-19 Janusz Brzozowski , Gareth Davies

A prefix normal word is a binary word whose prefixes contain at least as many 1s as any of its factors of the same length. Introduced by Fici and Lipt\'ak in 2011 the notion of prefix normality is so far only defined for words over the…

Formal Languages and Automata Theory · Computer Science 2021-04-20 Yannik Eikmeier , Pamela Fleischmann , Mitja Kulczynski , Dirk Nowotka

We present two structural results concerning longest common prefixes of non-empty languages. First, we show that the longest common prefix of the language generated by a context-free grammar of size $N$ equals the longest common prefix of…

Formal Languages and Automata Theory · Computer Science 2018-01-09 Michael Luttenberger , Raphaela Palenta , Helmut Seidl

An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a term of the intersection. The quotient complexity of L, which…

Formal Languages and Automata Theory · Computer Science 2012-03-09 Janusz Brzozowski , Hellis Tamm

Inspired by a series of papers initiated in 2015 by Berth\'e et al., we introduce a new condition called suffix-connectedness. We show that the groups generated by the return sets of a uniformly recurrent suffix-connected language lie in a…

Combinatorics · Mathematics 2022-08-19 Herman Goulet-Ouellet

Human syntactic structures are usually represented as graphs. Much research has focused on the mapping between such graphs and linguistic sequences, but less attention has been paid to the shapes of the graphs themselves: their topologies.…

Computation and Language · Computer Science 2023-02-02 Fermín Moscoso del Prado Martín

We show that the number of prefix normal binary words of length $n$ is $2^{n-\Theta((\log n)^2)}$. We also show that the maximum number of binary words of length $n$ with a given fixed prefix normal form is $2^{n-O(\sqrt{n\log n})}$.

Combinatorics · Mathematics 2019-03-20 Paul Balister , Stefanie Gerke

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

Prefix normal words are binary words that have no factor with more $1$s than the prefix of the same length. Finite prefix normal words were introduced in [Fici and Lipt\'ak, DLT 2011]. In this paper, we study infinite prefix normal words…

Combinatorics · Mathematics 2021-05-31 Ferdinando Cicalese , Zsuzsanna Lipták , Massimiliano Rossi

We present a new class of binary words: the prefix normal words. They are defined by the property that for any given length $k$, no factor of length $k$ has more $a$'s than the prefix of the same length. These words arise in the context of…

Formal Languages and Automata Theory · Computer Science 2018-06-01 Gabriele Fici , Zsuzsanna Lipták

Syntax connects words to each other in very specific ways. Two words are syntactically connected if they depend directly on each other. Syntactic connections usually happen within a sentence. Gathering all those connection across several…

Computation and Language · Computer Science 2025-03-11 Juan Soria-Postigo , Luis F Seoane

The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without…

Computational Complexity · Computer Science 2008-12-11 Wouter Gelade , Marcel Marquardt , Thomas Schwentick

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 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

A dichotomy result of Sevenster (2014) completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence they contain. On one hand, prefixes that contain "Henkin" or…

Logic · Mathematics 2019-10-01 Fausto Barbero

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