English
Related papers

Related papers: Closed, Palindromic, Rich, Privileged, Trapezoidal…

200 papers

In this paper we study the privileged complexity function of the Thue-Morse word. We prove a recursive formula describing this function, and using the formula we show that the function is unbounded and that the values of the function have…

Combinatorics · Mathematics 2015-07-23 Jarkko Peltomäki

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

We show that various aspects of k-automatic sequences -- such as having an unbordered factor of length n -- are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or…

Formal Languages and Automata Theory · Computer Science 2011-10-14 Emilie Charlier , Narad Rampersad , Jeffrey Shallit

Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Gabriele Fici

We investigate questions related to the presence of primitive words and Lyndon words in automatic and linearly recurrent sequences. We show that the Lyndon factorization of a k-automatic sequence is itself k-automatic. We also show that the…

Formal Languages and Automata Theory · Computer Science 2012-11-08 Daniel Goc , Kalle Saari , Jeffrey Shallit

In [A. Frid, S. Puzynina, L.Q. Zamboni, \textit{On palindromic factorization of words}, Adv. in Appl. Math. 50 (2013), 737-748], it was conjectured that any infinite word whose palindromic lengths of factors are bounded is ultimately…

Formal Languages and Automata Theory · Computer Science 2016-06-21 Michelangelo Bucci , Gwenaël Richomme

Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of…

Combinatorics · Mathematics 2010-03-16 Michelangelo Bucci , Alessandro De Luca , Amy Glen , Luca Q. Zamboni

We show that the subword complexity function p_x(n), which counts the number of distinct factors of length n of a sequence x, is k-synchronized in the sense of Carpi if x is k-automatic. As an application, we generalize recent results of…

Formal Languages and Automata Theory · Computer Science 2012-09-18 Daniel Goc , Luke Schaeffer , Jeffrey Shallit

In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced in arXiv:0801.1656 by the second and third authors together with J. Justin and S. Widmer, constitute a…

Combinatorics · Mathematics 2010-04-08 Aldo de Luca , Amy Glen , Luca Q. Zamboni

A word~$w$ has a border $u$ if $u$ is a non-empty proper prefix and suffix of $u$. A word~$w$ is said to be \emph{closed} if $w$ is of length at most $1$ or if $w$ has a border that occurs exactly twice in $w$. A word~$w$ is said to be…

Combinatorics · Mathematics 2024-05-24 Daniel Gabric

A finite word $w$ of length $n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called rich. An infinite word $w$ is called rich if every finite factor of $w$ is rich. Let $w$ be a word…

Combinatorics · Mathematics 2021-01-21 Josef Rukavicka

The prefix palindromic length $\mathrm{PPL}_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. Since 2013, it is still unknown if…

Formal Languages and Automata Theory · Computer Science 2021-06-10 Anna E. Frid , Enzo Laborde , Jarkko Peltomäki

A word is called closed if it has a prefix which is also its suffix and there is no internal occurrences of this prefix in the word. In this paper we study words that are rich in closed factors, i.e., which contain the maximal possible…

Combinatorics · Mathematics 2023-01-05 Olga Parshina , Svetlana Puzynina

The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to…

Combinatorics · Mathematics 2022-03-15 Dora V. Bulgakova , Anna E. Frid , Jérémy Scanvic

In this paper we study the class of so-called privileged words which have been previously considered only a little. We develop the basic properties of privileged words, which turn out to share similar properties with palindromes. Privileged…

Combinatorics · Mathematics 2013-08-20 Jarkko Peltomäki

A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of…

Formal Languages and Automata Theory · Computer Science 2014-12-02 Golnaz Badkobeh , Gabriele Fici , Zsuzsanna Lipták

We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially…

Number Theory · Mathematics 2016-10-14 Jakub Byszewski , Jakub Konieczny

We discuss the notion of privileged word, recently introduced by Peltomaki. A word w is privileged if it is of length <=1, or has a privileged border that occurs exactly twice in w. We prove the following results: (1) if w^k is privileged…

Formal Languages and Automata Theory · Computer Science 2013-12-02 Michael Forsyth , Amlesh Jayakumar , Jeffrey Shallit

Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic. The robust subclass of aperiodic languages is defined by: counter-free…

Logic in Computer Science · Computer Science 2023-06-22 Emmanuel Filiot , Olivier Gauwin , Nathan Lhote

Let $k\ge 2$. We prove that the characteristic sequence of a regular language over a $k$-letter alphabet is $k$-automatic. More generally, if $t\ge 2$ and $t,k$ are multiplicatively dependent, we show that the characteristic sequence of a…

Formal Languages and Automata Theory · Computer Science 2018-07-24 Michel Rigo , Robert Underwood
‹ Prev 1 2 3 10 Next ›