English
Related papers

Related papers: Morphic and Automatic Words: Maximal Blocks and Di…

200 papers

We study the asymptotic behavior of the maximal multiplicity $M_n=M_n(\sigma)$ of the blocks in a set partition of $[n]=\{1,2,...,n\}$, assuming that $\sigma$ is chosen uniformly at random from the set of all such partitions. Let $W=W(n)$…

Combinatorics · Mathematics 2019-10-21 Ljuben Mutafchiev , Mladen Savov

Let S be a finite set of words over an alphabet Sigma. The set S is said to be complete if every word w over the alphabet Sigma is a factor of some element of S*, i.e. w belongs to Fact(S*). Otherwise if S is not complete, we are interested…

Formal Languages and Automata Theory · Computer Science 2010-04-26 Gabriele Fici , Elena V. Pribavkina , Jacques Sakarovitch

Given a natural number $k\ge 2$ and a $k$-automatic set $S$ of natural numbers, we show that the lower density and upper density of $S$ are recursively computable rational numbers and we provide an algorithm for computing these quantities.…

Formal Languages and Automata Theory · Computer Science 2021-04-13 Jason P. Bell

Given a word, we are interested in the structure of its contiguous subwords split into $k$ blocks of equal length, especially in the homogeneous and anti-homogeneous cases. We introduce the notion of $(\mu_1,\dots,\mu_k)$-block-patterns,…

Combinatorics · Mathematics 2018-12-27 Amanda Burcroff

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ if there is no factor $f$ of $w$ such that $f= (p)$ where $h: \Delta^*\to\Sigma^*$ is a non-erasing morphism. A pattern…

Discrete Mathematics · Computer Science 2013-01-10 Pascal Ochem , Alexandre Pinlou

Along with some known and less known results, we discuss new insights relating combinatorics of words and the ordering of the rationals from a dynamical systems point of view, somehow continuing along the path started in [BI]. We obtain in…

Dynamical Systems · Mathematics 2026-04-10 Stefano Isola , Francesco Marchionni

Let $L_{k,\alpha}^{\mathbb{Z}}$ denote the set of all bi-infinite $\alpha$-power free words over an alphabet with $k$ letters, where $\alpha$ is a positive rational number and $k$ is positive integer. We prove that if $\alpha\geq 5$, $k\geq…

Formal Languages and Automata Theory · Computer Science 2023-07-10 Josef Rukavicka

Let $\mathfrak A$ be an alphabet and $W$ be a set of words in the free monoid ${\mathfrak A}^*$. Let $S(W)$ denote the Rees quotient over the ideal of ${\mathfrak A}^*$ consisting of all words that are not subwords of words in $W$. A set of…

Group Theory · Mathematics 2020-03-25 Olga Sapir

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ of variables if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:\Delta^*\to\Sigma^*$ is a non-erasing…

Discrete Mathematics · Computer Science 2016-10-14 Pascal Ochem , Matthieu Rosenfeld

We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this…

Discrete Mathematics · Computer Science 2015-03-18 Jean-Marc Fédou , Gabriele Fici

Jumping automata are finite automata that read their input in a non-consecutive manner, disregarding the order of the letters in the word. We introduce and study jumping automata over infinite words. Unlike the setting of finite words,…

Formal Languages and Automata Theory · Computer Science 2023-04-05 Shaull Almagor , Omer Yizhaq

Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions/languages over finite words. In symbolic automata (or automata modulo…

Formal Languages and Automata Theory · Computer Science 2023-10-05 Margus Veanes , Thomas Ball , Gabriel Ebner , Olli Saarikivi

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \dots w[i_{k}]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \lvert w\rvert$. A word $w$ is $k$-subsequence universal over an alphabet $\Sigma$ if every…

Formal Languages and Automata Theory · Computer Science 2023-11-20 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea , Dirk Nowotka

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

Group Theory · Mathematics 2018-04-25 Pedro Silva , Pascal Weil

A \emph{palindrome} is a word that reads the same forwards and backwards. A \emph{block palindrome factorization} (or \emph{BP-factorization}) is a factorization of a word into blocks that becomes palindrome if each identical block is…

Combinatorics · Mathematics 2023-04-17 Daniel Gabric , Jeffrey Shallit

An infinite word is S-automatic if, for all n>=0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous…

Formal Languages and Automata Theory · Computer Science 2009-07-06 Emilie Charlier , Tomi Karki , Michel Rigo

Let $K$ be an algebraically closed field of characteristic zero, $A= K[x_1, \dots, x_n]$ the polynomial ring in $n$ variables, and let $W_n(K)$ be the Lie algebra of all $K$-derivations of $A.$ This Lie algebra also is the free $A$-module…

Rings and Algebras · Mathematics 2026-05-25 Y. Chapovskyi , A. Petravchuk , O. Tyshchenko

Word-representable graphs are a subset of graphs that may be represented by a word $w$ over an alphabet composed of the vertices in the graph. In such graphs, an edge exists if and only if the occurrences of the corresponding vertices…

Data Structures and Algorithms · Computer Science 2025-02-12 Duncan Adamson

Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical…

Algebraic Geometry · Mathematics 2020-07-31 Kaoru Sano , Takahiro Shibata

The problem we consider is the following: Given an infinite word $w$ on an ordered alphabet, construct the sequence $\nu_w=(\nu[n])_n$, equidistributed on $[0,1]$ and such that $\nu[m]<\nu[n]$ if and only if $\sigma^m(w)<\sigma^n(w)$, where…

Dynamical Systems · Mathematics 2019-11-25 Mélodie Andrieu , Anna E. Frid