English
Related papers

Related papers: On Prefix Normal Words and Prefix Normal Forms

200 papers

We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence…

Logic in Computer Science · Computer Science 2016-05-18 Maciej Bendkowski , Katarzyna Grygiel , Pierre Lescanne , Marek Zaionc

A result of A. Joseph says that any nilpotent or semisimple element $z$ in the Weyl algebra $A_1$ over some algebracally closed field $K$ of characterstic 0 has a normal form up to the action of the automorphism group of $A_1$. It is shown…

Rings and Algebras · Mathematics 2024-07-17 Gang Han , Zhennan Pan , Yulin Chen

A word $w$ over an alphabet $\Sigma$ is a Lyndon word if there exists an order defined on $\Sigma$ for which $w$ is lexicographically smaller than all of its conjugates (other than itself). We introduce and study \emph{universal Lyndon…

Discrete Mathematics · Computer Science 2014-07-15 Arturo Carpi , Gabriele Fici , Stepan Holub , Jakub Oprsal , Marinella Sciortino

Let $w$ be an infinite word on an alphabet $A$. We denote by $(n_i)_{i \geq 1}$ the increasing sequence (assumed to be infinite) of all lengths of palindrome prefixes of $w$. In this text, we give an explicit construction of all words $w$…

Combinatorics · Mathematics 2012-02-13 Stéphane Fischler

The relationship between the length of a word and the maximum length of its unbordered factors is investigated in this paper. Consider a finite word w of length n. We call a word bordered, if it has a proper prefix which is also a suffix of…

Discrete Mathematics · Computer Science 2007-05-23 Tero Harju , Dirk Nowotka

We show that the number of length-n words over a k-letter alphabet having no even palindromic prefix is the same as the number of length-n unbordered words, by constructing an explicit bijection between the two sets. A slightly different…

Discrete Mathematics · Computer Science 2020-06-05 Daniel Gabric , Jeffrey Shallit

Trapezoidal words are words having at most $n+1$ distinct factors of length $n$ for every $n\ge 0$. They therefore encompass finite Sturmian words. We give combinatorial characterizations of trapezoidal words and exhibit a formula for their…

Formal Languages and Automata Theory · Computer Science 2013-01-22 Michelangelo Bucci , Alessandro De Luca , Gabriele Fici

A non-empty word $w$ is a \emph{border} of a word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ is \emph{privileged} if $\vert u\vert\leq 1$ or if $u$ has a privileged border $w$ that appears…

Combinatorics · Mathematics 2022-09-13 Josef Rukavicka

Two words are $k$-binomially equivalent if each subword of length at most $k$ occurs the same number of times in both words. The $k$-binomial complexity of an infinite word is a counting function that maps $n$ to the number of $k$-binomial…

Combinatorics · Mathematics 2022-12-07 Michel Rigo , Manon Stipulanti , Markus A. Whiteland

Free words are elements of a free monoid, generated over an alphabet via the binary operation of concatenation. Casually speaking, a free word is a finite string of letters. Henceforth, we simply refer to them as words. Motivated by recent…

Combinatorics · Mathematics 2015-09-16 Danny Rorabaugh

Consider the set of those binary words with no non-empty factors of the form $xxx^R$. Du, Mousavi, Schaeffer, and Shallit asked whether this set of words grows polynomially or exponentially with length. In this paper, we demonstrate the…

Formal Languages and Automata Theory · Computer Science 2015-02-26 James D. Currie , Narad Rampersad

Regular word grammars are restricted context-free grammars that define all the recognizable languages of words. This paper generalizes regular grammars from words to certain classes of graphs, by defining regular grammars for unordered…

Formal Languages and Automata Theory · Computer Science 2025-06-17 Marius Bozga , Radu Iosif , Florian Zuleger

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

A finite word $w$ with $\vert w\vert=n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called \emph{rich}. Let $\Factor(w)$ be the set of factors of the word $w$. It is known that there…

Combinatorics · Mathematics 2019-09-06 Josef Rukavicka

Words in some natural languages can have a composite structure. Elements of this structure include the root (that could also be composite), prefixes and suffixes with which various nuances and relations to other words can be expressed.…

Computation and Language · Computer Science 2017-09-05 Rustem Takhanov , Zhenisbek Assylbekov

The set of finite words over a well-quasi-ordered set is itself well-quasi-ordered. This seminal result by Higman is a cornerstone of the theory of well-quasi-orderings and has found numerous applications in computer science. However, this…

Formal Languages and Automata Theory · Computer Science 2025-01-14 Nathan Lhote , Aliaume Lopez , Lia Schütze

We study a deliberately simple, fully non-linguistic model of text: a sequence of independent draws from a finite alphabet of letters plus a single space symbol. A word is defined as a maximal block of non-space symbols. Within this…

Computation and Language · Computer Science 2025-11-25 Vladimir Berman

We study the set of finite words with zero palindromic defect, i.e., words rich in palindromes. This set is factorial, but not recurrent. We focus on description of pairs of rich words which cannot occur simultaneously as factors of a…

Combinatorics · Mathematics 2018-01-09 Edita Pelantová , Štěpán Starosta

Let $q, n, m \in \mathbb{N}$ be such that $q$ is a prime power and $a, b \in \mathbb{F}$. In this article we establish a sufficient condition for the existence of a primitive normal pair $(\alpha, f(\alpha)) \in \mathbb{F}_{q^m}$ over…

Number Theory · Mathematics 2024-05-10 Arpan Chandra Mazumder , Dhiren Kumar Basnet

We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101…

Combinatorics · Mathematics 2026-05-11 Jeffrey Shallit