English
Related papers

Related papers: Composing short 3-compressing words on a 2 letter …

200 papers

A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by $\lambda^i$,…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Udi Boker , Thomas A. Henzinger

Given a right-infinite word $\bf x$ over a finite alphabet $A$, the rank of $\bf x$ is the size of the smallest set $S$ of words over $A$ such that $\bf x$ can be realized as an infinite concatenation of words in $S$. We show that the…

Formal Languages and Automata Theory · Computer Science 2021-08-13 Jason Bell , Jeffrey Shallit

The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful…

Formal Languages and Automata Theory · Computer Science 2015-06-02 Georg Zetzsche

The Kolmogorov complexity of x, denoted C(x), is the length of the shortest program that generates x. For such a simple definition, Kolmogorov complexity has a rich and deep theory, as well as applications to a wide variety of topics…

Computational Complexity · Computer Science 2017-02-17 Stephen Fenner , Lance Fortnow

For general input automata, there exist regular constraint languages such that asking if a given input automaton admits a synchronizing word in the constraint language is PSPACE-complete or NP-complete. Here, we investigate this problem for…

Formal Languages and Automata Theory · Computer Science 2021-09-08 Stefan Hoffmann

It has been known since the 60's that any complete discrete $n$-state automaton admits a reset word of length not exceeding $\alpha n^3+o(n^3)$ for some absolute constant $\alpha$. J.-E. Pin and P. Frankl proved this statement with…

Combinatorics · Mathematics 2019-01-23 Yaroslav Shitov

Compact representations of automata are important for efficiency. In this paper, we study methods to compute reduced automata, in which no two states accept the same language. We do this for finitary automata (FA), an abstract definition…

Formal Languages and Automata Theory · Computer Science 2023-04-14 Keri D'Angelo , Alexandra Silva , Gerco van Heerdt , Leon Witzman

We relate two measures of complexity of regular languages. The first is syntactic complexity, that is, the cardinality of the syntactic semigroup of the language. That semigroup is isomorphic to the semigroup of transformations of states…

Formal Languages and Automata Theory · Computer Science 2013-05-24 Janusz Brzozowski , Gareth Davies

Partial rigidity is a quantitative notion of recurrence and provides a global obstruction which prevents the system from being strongly mixing. A dynamical system $(X, \mathcal{X}, \mu, T)$ is partially rigid if there is a constant $\delta…

Dynamical Systems · Mathematics 2024-12-13 Tristán Radić

The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to…

Combinatorics · Mathematics 2022-03-15 Dora V. Bulgakova , Anna E. Frid , Jérémy Scanvic

A code is said to be two-weight if the non-zero codewords have only two different a weight w1 and w2. Two-weight codes are closely related to strongly regular graphs. In this paper. It is shown that a consta-cyclic code of composite length…

Information Theory · Computer Science 2009-01-12 Eric Z. Chen

We study a new notion of cyclic avoidance of abelian powers. A finite word $w$ avoids abelian $N$-powers cyclically if for each abelian $N$-power of period $m$ occurring in the infinite word $w^\omega$, we have $m \geq |w|$. Let…

Formal Languages and Automata Theory · Computer Science 2020-11-04 Jarkko Peltomäki , Markus A. Whiteland

Fici, Restivo, Silva, and Zamboni define a $k$-antipower to be a word composed of $k$ pairwise distinct, concatenated words of equal length. Berger and Defant conjecture that for any sufficiently well-behaved aperiodic morphic word $w$,…

Combinatorics · Mathematics 2023-06-22 Swapnil Garg

We introduce subsequence covers (s-covers, in short), a new type of covers of a word. A word $C$ is an s-cover of a word $S$ if the occurrences of $C$ in $S$ as subsequences cover all the positions in $S$. The s-covers seem to be…

Data Structures and Algorithms · Computer Science 2025-09-09 Panagiotis Charalampopoulos , Solon P. Pissis , Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , Wiktor Zuba

The repetition threshold for words on $n$ letters, denoted $\mbox{RT}(n)$, is the infimum of the set of all $r$ such that there are arbitrarily long $r$-free words over $n$ letters. A repetition threshold for circular words on $n$ letters…

Combinatorics · Mathematics 2019-12-25 Lucas Mol , Narad Rampersad

The string repetitiveness measures $\chi$ (the size of a smallest suffixient set of a string) and $r$ (the number of runs in the Burrows--Wheeler Transform) are related. Recently, we have shown that the bound $\chi \leq 2r$, proved by…

Data Structures and Algorithms · Computer Science 2026-02-25 Vinicius Tikara Venturi Date , Leandro Miranda Zatesko

A square-free word $w$ over a fixed alphabet $\Sigma$ is extremal if every word obtained from $w$ by inserting a single letter from $\Sigma$ (at any position) contains a square. Grytczuk et al. recently introduced the concept of extremal…

Combinatorics · Mathematics 2020-02-03 Lucas Mol , Narad Rampersad

We study the IS-algorithm, a well-known linear-time algorithm for computing the suffix array of a word. This algorithm relies on transforming the input word $w$ into another word, called the reduced word of $w$, that will be at least twice…

Data Structures and Algorithms · Computer Science 2022-04-12 Vincent Jugé

Free words are elements of a free monoid, generated over an alphabet via the binary operation of concatenation. Casually speaking, a free word is a finite string of letters. Henceforth, we simply refer to them as words. Motivated by recent…

Combinatorics · Mathematics 2015-09-16 Danny Rorabaugh

Auto-completion is one of the most prominent features of modern information systems. The existing solutions of auto-completion provide the suggestions based on the beginning of the currently input character sequence (i.e. prefix). However,…

Information Retrieval · Computer Science 2016-11-24 Pengfei Xu , Jiaheng Lu