English
Related papers

Related papers: Words and morphisms with Sturmian erasures

200 papers

Probabilistic puzzles can be confusing, partly because they are formulated in natural languages - full of unclarities and ambiguities - and partly because there is no widely accepted and intuitive formal language to express them. We propose…

Logic in Computer Science · Computer Science 2025-04-11 Elena Di Lavore , Bart Jacobs , Mario Román

A binary shuffle square is a binary word of even length that can be partitioned into two disjoint, identical subwords. Huang, Nam, Thaper, and the first author conjectured that as $n\rightarrow \infty$, asymptotically half of all binary…

Combinatorics · Mathematics 2025-12-16 Xiaoyu He , Logan Post

In this paper, we prove that a class of regular sequences can be viewed as projections of fixed points of uniform morphisms on a countable alphabet, and also can be generated by countable states automata. Moreover, we prove that the…

Formal Languages and Automata Theory · Computer Science 2017-05-24 Jie-Meng Zhang , Jin Chen , Yingjun Guo , Zhixiong Wen

We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of…

Combinatorics · Mathematics 2013-12-10 Julien Cassaigne , Eric Duchêne , Michel Rigo

Elements of the free group define interesting maps, known as word maps, on groups. It was previously observed by Lubotzky that every subset of a finite simple group that is closed under endomorphisms occurs as the image of some word map. We…

Group Theory · Mathematics 2019-01-04 William Cocke , Meng-Che "Turbo" Ho

We characterize binary words that have exactly two unbordered conjugates and show that they can be expressed as a product of two palindromes.

Formal Languages and Automata Theory · Computer Science 2019-12-18 Štěpán Holub , Mike Müller

Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange…

Dynamical Systems · Mathematics 2025-02-19 France Gheeraert , Julien Leroy

We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap,…

Combinatorics · Mathematics 2021-08-25 Benjamin Przybocki

In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…

Dynamical Systems · Mathematics 2024-04-03 Marie-Pierre Béal , Dominique Perrin , Antonio Restivo

We consider blind, deterministic, finite automata equipped with a register which stores an element of a given monoid, and which is modified by right multiplication by monoid elements. We show that, for monoids M drawn from a large class…

Group Theory · Mathematics 2007-05-23 Mark Kambites

We say that a finite factor $f$ of a word $w$ is \emph{imaged} if there exists a non-erasing morphism $m$, distinct from the identity, such that $w$ contains $m(f)$. We show that every infinite word contains an imaged factor of length at…

Combinatorics · Mathematics 2025-10-01 Pascal Ochem , Matthieu Rosenfeld

This paper concerns a specific class of strict standard episturmian words whose directive words resemble those of characteristic Sturmian words. In particular, we explicitly determine all integer powers occurring in such infinite words,…

Combinatorics · Mathematics 2010-03-16 Amy Glen

We propose a physical model of speech to explain its precision and robustness. We begin by reducing the dynamics to the bare minimum of polygonal billiards. The symbolic stability of the billiard trajectories against variations in action…

Sound · Computer Science 2021-01-06 Elaine Y L Tsiang

We consider a non-minimal billiard trajectory inside the cube. We study the language of the associated orbit when the map is coded with three letters associated to three non-parallel faces of the cube.

Dynamical Systems · Mathematics 2026-02-09 Moussa Barro , Nicolas Bédaride , Julien Cassaigne

We study infinite words u over an alphabet A satisfying the property P : P(n)+ P(n+1) = 1+ #A for any n in N, where P(n) denotes the number of palindromic factors of length n occurring in the language of u. We study also infinite words…

Combinatorics · Mathematics 2013-02-12 Lubomira Balkova , Edita Pelantova , Stepan Starosta

We study the equality problem for infinite words obtained by iterating morphisms. In particular, we give a practical algorithm to decide whether or not two words generated by primitive morphisms are equal.

Formal Languages and Automata Theory · Computer Science 2009-04-16 Juha Honkala

We study the structure of the language of binary cube-free words. Namely, we are interested in the cube-free words that cannot be infinitely extended preserving cube-freeness. We show the existence of such words with arbitrarily long finite…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Elena A. Petrova , Arseny M. Shur

A vocabulary is a list of words designating subsets from a grand set X. We model a vocabulary as a partition of X and study the aggregation of individual vocabularies into a collective one. We characterize aggregation rules when X is…

Theoretical Economics · Economics 2026-03-16 Marco LiCalzi , M. Alperen Yasar

Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic…

Discrete Mathematics · Computer Science 2023-02-22 Alessandro De Luca , Gabriele Fici

We start by considering binary words containing the minimum possible numbers of squares and antisquares (where an antisquare is a word of the form $x \overline{x}$), and we completely classify which possibilities can occur. We consider…

Formal Languages and Automata Theory · Computer Science 2019-04-22 Tim Ng , Pascal Ochem , Narad Rampersad , Jeffrey Shallit