English
Related papers

Related papers: On the Minimal Uncompletable Word Problem

200 papers

Let $w$ be a finite word of length $n$. In this paper, we study the maximum possible number of distinct rational power factors in a finite word. A rational power is a word of the form $u=p^kp'$, where $p$ is a nonempty finite word, $k$ is…

Combinatorics · Mathematics 2026-05-15 Shuo Li , Yuan Song

In this paper, we study a series of algorithmic problems related to the subsequences occurring in the strings of a given language, under the assumption that this language is succinctly represented by a grammar generating it, or an automaton…

Formal Languages and Automata Theory · Computer Science 2024-10-11 Szilárd Zsolt Fazekas , Tore Koß , Florin Manea , Robert Mercaş , Timo Specht

Word Break is a prototypical factorization problem in string processing: Given a word $w$ of length $N$ and a dictionary $\mathcal{D} = \{d_1, d_2, \ldots, d_{K}\}$ of $K$ strings, determine whether we can partition $w$ into words from…

Data Structures and Algorithms · Computer Science 2025-06-19 Rajat De , Dominik Kempa

The structures of full words and non-full for $\beta$-expansions are completely characterized in this paper. We obtain the precise lengths of all the maximal runs of full and non-full words among admissible words with same order.

Dynamical Systems · Mathematics 2018-03-26 Yao-Qiang Li , Bing Li

Let $\mb w$ be a morphic word over a finite alphabet $\Sigma$, and let $\Delta$ be a nonempty subset of $\Sigma$. We study the behavior of maximal blocks consisting only of letters from $\Delta$ in $\mb w$, and prove the following: let…

Combinatorics · Mathematics 2009-04-16 Yann Bugeaud , Dalia Krieger , Jeffrey Shallit

Given a Probabilistic Finite Automata (PFA), a set of states S, and an error threshold e > 0, our algorithm approximates the infimum probability (quantifying over all infinite words) that the automata reaches S. Our result contrasts with…

Logic in Computer Science · Computer Science 2010-09-21 Sergio Giro

An element w in the free group on r letters defines a map f from G^r to G for each group G. In this note, we show that whenever w is non-trivial and G is a semisimple algebraic group, f is dominant. When G is a finite simple group, the…

Group Theory · Mathematics 2007-05-23 Michael Larsen

A string is said to be closed if its length is one, or if it has a non-empty factor that occurs both as a prefix and as a suffix of the string, but does not occur elsewhere. The notion of closed words was introduced by [Fici, WORDS 2011].…

Data Structures and Algorithms · Computer Science 2024-10-01 Takuya Mieno , Shun Takahashi , Kazuhisa Seto , Takashi Horiyama

We investigate the problem of the maximum number of cubic subwords (of the form $www$) in a given word. We also consider square subwords (of the form $ww$). The problem of the maximum number of squares in a word is not well understood.…

Formal Languages and Automata Theory · Computer Science 2015-05-14 Marcin Kubica , Jakub Radoszewski , Wojciech Rytter , Tomasz Walen

Minimal forbidden factors are a useful tool for investigating properties of words and languages. Two factorial languages are distinct if and only if they have different (antifactorial) sets of minimal forbidden factors. There exist…

Formal Languages and Automata Theory · Computer Science 2018-05-28 Gabriele Fici , Antonio Restivo , Laura Rizzo

Given a (finite or infinite) subset $X$ of the free monoid $A^*$ over a finite alphabet $A$, the rank of $X$ is the minimal cardinality of a set $F$ such that $X \subseteq F^*$. A submonoid $M$ generated by $k$ elements of $A^*$ is…

Formal Languages and Automata Theory · Computer Science 2019-06-10 Giuseppa Castiglione , Gabriele Fici , Antonio Restivo

We consider the set of finite random words $\mathcal A^\star$, with independent letters drawn from a finite or infinite totally ordered alphabet according to a general probability distribution. On a specific subset of $\mathcal A^\star$,…

Probability · Mathematics 2012-04-22 Elahe Zohoorian Azad

The category of all idempotent generated semigroups with a prescribed structure $\mathcal{E}$ of their idempotents $E$ (called the biordered set) has an initial object called the free idempotent generated semigroup over $\mathcal{E}$,…

Group Theory · Mathematics 2017-12-14 Igor Dolinka , Robert D. Gray , Nik Ruškuc

It is shown that the big free group (the set of countably-long words over a countable alphabet) is almost free, in the sense that any function from the alphabet to a compact topological group factors through a homomorphism. This statement…

Group Theory · Mathematics 2015-06-12 Tamer Tlas

A finitely generated group $\G$ equipped with a word-length is said to satisfy property RD if there are $C, s\geq 0$ such that, for all non-negative integers $n$, we have $\|a\|\leq C (1+n)^s \|a\|_2$ whenever $a\in\C\G$ is supported on…

Group Theory · Mathematics 2010-05-18 Bogdan Nica

Richomme asked the following question: what is the infimum of the real numbers $\alpha$ > 2 such that there exists an infinite word that avoids $\alpha$-powers but contains arbitrarily large squares beginning at every position? We resolve…

Combinatorics · Mathematics 2009-04-14 James D. Currie , Narad Rampersad

Let w be a group word. It is conjectured that if w has only countably many values in a profinite group G, then the verbal subgroup w(G) is finite. In the present paper we confirm the conjecture in the cases where w is a multilinear…

Group Theory · Mathematics 2016-10-20 Eloisa Detomi , Marta Morigi , Pavel Shumyatsky

We introduce the forward limit set $\Lambda$ of a semigroup $S$ generated by a family of substitutions of a finite alphabet, which typically coincides with the set of all possible s-adic limits of that family. We provide several alternative…

Dynamical Systems · Mathematics 2023-11-08 Ibai Aedo , Uwe Grimm , Ian Short

Given a language L and a nondeterministic finite automaton M, we consider whether we can determine efficiently (in the size of M) if M accepts at least one word in L, or infinitely many words. Given that M accepts at least one word in L, we…

Computational Complexity · Computer Science 2009-04-14 Terry Anderson , John Loftus , Narad Rampersad , Nicolae Santean , Jeffrey Shallit

We provide an exact estimate on the maximal subword complexity for quasiperiodic infinite words. To this end we give a representation of the set of finite and of infinite words having a certain quasiperiod q via a finite language derived…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Ronny Polley , Ludwig Staiger