English
Related papers

Related papers: Excluding words from Dyck shifts

200 papers

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

We present a method for the enumeration of restricted words over a finite alphabet. Restrictions are described through the inclusion or exclusion of suitable building blocks used to construct the words by concatenation. Our approach, which…

Combinatorics · Mathematics 2016-01-05 Daniel Birmajer , Juan B. Gil , Michael D. Weiner

We show that, for every finitely generated group with decidable word problem and undecidable domino problem, there exists a sequence of effective subshifts whose inverse limit is not the topological factor of any effective dynamical system.…

Dynamical Systems · Mathematics 2025-12-19 Sebastián Barbieri , Leo Poirier

Let $W$ be an infinite word over finite alphabet $A$. We get combinatorial criteria of existence of interval exchange transformations that generate the word W.

Dynamical Systems · Mathematics 2017-11-30 A. Ya. Belov , A. L. Chernyat'ev

We show that the equality language of two non-periodic binary morphisms is generated by at most two words. If its rank is two, then the generators start (and end) with different letters. This in particular implies that any binary language…

Formal Languages and Automata Theory · Computer Science 2012-09-19 Štěpán Holub

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

The study of verbal subgroups within a group is well-known for being an effective tool to obtain structural information about a group. Therefore, conditions that allow the classification of words in a free group are of paramount importance.…

Group Theory · Mathematics 2025-11-03 Costantino Delizia , Michele Gaeta , Carmine Monetta

We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.

Logic in Computer Science · Computer Science 2023-07-11 Julien Grange , Mathieu Lehaut

This paper initiates the study of shortening universal cycles (u-cycles) and universal words (u-words) for permutations either by using incomparable elements, or by using non-deterministic symbols. The latter approach is similar in nature…

Combinatorics · Mathematics 2018-11-01 Sergey Kitaev , Vladimir N. Potapov , Vincent Vajnovszki

The occurrence of unknown words in texts significantly hinders reading comprehension. To improve accessibility for specific target populations, computational modelling has been applied to identify complex words in texts and substitute them…

Computation and Language · Computer Science 2023-03-10 Kai North , Marcos Zampieri , Matthew Shardlow

We consider the following novel variation on a classical avoidance problem from combinatorics on words: instead of avoiding repetitions in all factors of a word, we avoid repetitions in all factors where each individual factor is considered…

Formal Languages and Automata Theory · Computer Science 2013-03-19 Hamoon Mousavi , Jeffrey Shallit

We complete the enumeration of Dumont permutations of the second kind avoiding a pattern of length 4 which is itself a Dumont permutation of the second kind. We also consider some combinatorial statistics on Dumont permutations avoiding…

Combinatorics · Mathematics 2007-05-23 Alexander Burstein , Sergi Elizalde , Toufik Mansour

Word segmentation, the problem of finding word boundaries in speech, is of interest for a range of tasks. Previous papers have suggested that for sequence-to-sequence models trained on tasks such as speech translation or speech recognition,…

Computation and Language · Computer Science 2021-09-22 Ramon Sanabria , Hao Tang , Sharon Goldwater

A new algorithm to generate all Dyck words is presented, which is used in ranking and unranking Dyck words. We emphasize the importance of using Dyck words in encoding objects related to Catalan numbers. As a consequence of formulas used in…

Discrete Mathematics · Computer Science 2010-02-15 Zoltan Kasa

In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if…

Logic · Mathematics 2016-09-06 Alan H. Mekler , Evelyn Nelson , Saharon Shelah

Periodic-finite-type shifts (PFT's) form a class of sofic shifts that strictly contains the class of shifts of finite type (SFT's). In this paper, we investigate how the notion of "period" inherent in the definition of a PFT causes it to…

Information Theory · Computer Science 2008-04-30 Akiko Manada , Navin Kashyap

Models of bags of words typically assume topic mixing so that the words in a single bag come from a limited number of topics. We show here that many sets of bag of words exhibit a very different pattern of variation than the patterns that…

Information Retrieval · Computer Science 2012-02-20 Nebojsa Jojic , Alessandro Perina

Grammatical rules in natural languages are often characterized by exceptions. How do language learners learn these exceptions to otherwise general patterns? Here, we study this question through the case study of English passivization. While…

Computation and Language · Computer Science 2026-03-05 Cara Su-Yi Leong , Tal Linzen

Using methods of statistical mechanics, we analyse the effect of outliers on the supervised learning of a classification problem. The learning strategy aims at selecting informative examples and discarding outliers. We compare two…

Disordered Systems and Neural Networks · Physics 2009-10-31 Rainer Dietrich , Manfred Opper

The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been…

Logic in Computer Science · Computer Science 2023-06-22 Prateek Karandikar , Philippe Schnoebelen