English
Related papers

Related papers: Generation of binary words avoiding alternating pa…

200 papers

In this paper, we consider the problem of constructing optimal average-length binary codes under the constraint that each codeword must contain at most $D$ ones, where $D$ is a given input parameter. We provide an $O(n^2D)$-time complexity…

Information Theory · Computer Science 2025-12-03 Roberto Bruno , Roberto De Prisco , Ugo Vaccaro

We characterize exactly the lengths of binary circular words containing no squares other than 00, 11, and 0101. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences

Combinatorics · Mathematics 2020-05-21 James D. Currie , Jesse T. Johnson

We consider the language consisting of all words such that it is possible to obtain the empty word by iteratively deleting powers. It turns out that in the case of deleting squares in binary words this language is regular, and in the case…

Formal Languages and Automata Theory · Computer Science 2017-12-08 John Machacek

This paper considers the enumeration of ternary trees (i.e. rooted ordered trees in which each vertex has 0 or 3 children) avoiding a contiguous ternary tree pattern. We begin by finding recurrence relations for several simple tree…

Combinatorics · Mathematics 2011-12-30 Nathan Gabriel , Katherine Peske , Lara Pudwell , Samuel Tay

We consider three aspects of avoiding large squares in infinite binary words. First, we construct an infinite binary word avoiding both cubes xxx and squares yy with |y| >= 4; our construction is somewhat simpler than the original…

Combinatorics · Mathematics 2007-05-23 Narad Rampersad , Jeffrey Shallit , Ming-wei Wang

Catalan words are particular growth-restricted words counted by the eponymous integer sequence. In this article we consider Catalan words avoiding a pair of patterns of length 3, pursuing the recent initiating work of the first and last…

Discrete Mathematics · Computer Science 2023-06-22 Jean-Luc Baril , Carine Khalil , Vincent Vajnovszki

As instance of an overarching principle of exclusion an algorithm is presented that compactly (thus not one by one) generates all models of a Horn formula. The principle of exclusion can be adapted to generate only the models of weight $k$.…

Logic in Computer Science · Computer Science 2017-03-01 Marcel Wild

In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn.…

Discrete Mathematics · Computer Science 2024-06-17 Petr Gregor , Torsten Mütze , Namrata

We find generating functions the number of strings (words) containing a specified number of occurrences of certain types of order-isomorphic classes of substrings called subword patterns. In particular, we find generating functions for the…

Combinatorics · Mathematics 2007-05-23 A. Burstein , T. Mansour

We prove that every concatenation of $10$ or more binary squares contains an overlap. The bound $10$ is best possible. In contrast, over a ternary alphabet, there are infinitely long overlap-free words that consist of a concatenation of…

Combinatorics · Mathematics 2026-05-28 Jeffrey Shallit

We introduce an algorithm for the uniform generation of infinite traces, i.e., infinite words up to commutation of some letters. The algorithm outputs on-the-fly approximations of a theoretical infinite trace, the latter being distributed…

Combinatorics · Mathematics 2025-05-27 Samy Abbes , Vincent Jugé

Ulam words are binary words defined recursively as follows: the length-$1$ Ulam words are $0$ and $1$, and a binary word of length $n$ is Ulam if and only if it is expressible uniquely as a concatenation of two shorter, distinct Ulam words.…

Combinatorics · Mathematics 2024-11-01 Andrei Mandelshtam

The avoidability, or unavoidability of patterns in words over finite alphabets has been studied extensively. A word (pattern) over a finite set is said to be unavoidable if, for all but finitely many words, there exists a morphism mapping…

Formal Languages and Automata Theory · Computer Science 2019-07-16 Paul Sauer

Two words $p$ and $q$ are avoided by the same number of length-$n$ words, for all $n$, precisely when $p$ and $q$ have the same set of border lengths. Previous proofs of this theorem use generating functions but do not provide an explicit…

Combinatorics · Mathematics 2023-12-04 Julia Carrigan , Isaiah Hollars , Eric Rowland

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

We present a construction of 1-perfect binary codes, which gives a new lower bound on the number of such codes. We conjecture that this lower bound is asymptotically tight.

Combinatorics · Mathematics 2009-09-25 Denis Krotov , Sergey Avgustinovich

This paper describes an alternative method of generating fixed points of certain substitution systems. This method centres on taking infinite words consisting of one repeated letter per word. These infinite words are then interlaced to form…

Dynamical Systems · Mathematics 2012-03-01 David Fletcher

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

The recent work of Kleinberg & Mullainathan [KM24] provides a concrete model for language generation in the limit: given a sequence of examples from an unknown target language, the goal is to generate new examples from the target language…

Data Structures and Algorithms · Computer Science 2024-12-25 Moses Charikar , Chirag Pabbaraju

Standard sequential generation methods assume a pre-specified generation order, such as text generation methods which generate words from left to right. In this work, we propose a framework for training models of text generation that…

Computation and Language · Computer Science 2019-10-25 Sean Welleck , Kianté Brantley , Hal Daumé , Kyunghyun Cho