English
Related papers

Related papers: The complexity of finite smooth words over binary …

200 papers

A morphic word is obtained by iterating a morphism to generate an infinite word, and then applying a coding. We characterize morphic words with polynomial growth in terms of a new type of infinite word called a $\textit{zigzag word}$. A…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Tim Smith

We say that the set of $y$-smooth numbers $\mathcal{S}(N,y)$ up to $N$ is super smooth if $y=\log^KN$ for a large fixed constant $K$. We show that the Roth's theorem on arithmetic progressions is true in super smooth numbers case. This…

Number Theory · Mathematics 2025-10-22 Laurence P. Wijaya

In this paper we study the asymptotic behaviour of two relatively new complexity functions defined on infinite words and their relationship to periodicity. Given a factor $u$ of an infinite word $x$, we say $u$ is closed if it is a letter…

Combinatorics · Mathematics 2023-01-04 O. Parshina , M. Postic

We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least…

Combinatorics · Mathematics 2025-12-04 Vuong Bui , Matthieu Rosenfeld

Given a countable set X (usually taken to be the natural numbers or integers), an infinite permutation, \pi, of X is a linear ordering of X. This paper investigates the combinatorial complexity of infinite permutations on the natural…

Discrete Mathematics · Computer Science 2011-08-19 Steven Widmer

We introduce and study a complexity function on words $c_x(n),$ called \emph{cyclic complexity}, which counts the number of conjugacy classes of factors of length $n$ of an infinite word $x.$ We extend the well-known Morse-Hedlund theorem…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Julien Cassaigne , Gabriele Fici , Marinella Sciortino , Luca Q. Zamboni

The automatic complexity of a finite word (string) is an analogue for finite automata of Sipser's distinguishing complexity (1983) and was introduced by Shallit and Wang (2001). For a finite alphabet $\Sigma$ of at least two elements, we…

Formal Languages and Automata Theory · Computer Science 2025-10-10 Joey Chen , Bjørn Kjos-Hanssen , Ivan Koswara , Linus Richter , Frank Stephan

The $\omega$-power of a finitary language L over a finite alphabet $\Sigma$ is the language of infinite words over $\Sigma$ defined by L $\infty$ := {w 0 w 1. .. $\in$ $\Sigma$ $\omega$ | $\forall$i $\in$ $\omega$ w i $\in$ L}. The…

Logic in Computer Science · Computer Science 2020-07-20 Olivier Finkel , Dominique Lecomte

We show that for any two distinct words $ s_1, s_2 $ over an arbitrary alphabets, there exists a deterministic finite automaton with $ O(\log^2 n) $ states that accepts $ s_1 $ and rejects $ s_2 $. This improves the previous upper bound of…

Formal Languages and Automata Theory · Computer Science 2025-04-03 Bogdan C. Dumitru

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

Lambda words are sequences obtained by encoding the differences between ordered elements of the form i+j\theta, where i and j are non-negative integers and 1 < \theta <2. Lambda words are right-infinite words defined over an infinite…

Combinatorics · Mathematics 2013-03-12 Norman Carey

To any infinite word w over a finite alphabet A we can associate two infinite words min(w) and max(w) such that any prefix of min(w) (resp. max(w)) is the lexicographically smallest (resp. greatest) amongst the factors of w of the same…

Combinatorics · Mathematics 2010-03-16 Amy Glen

Given a finite alphabet $\Sigma$ and a right-infinite word $\bf w$ over $\Sigma$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of…

Formal Languages and Automata Theory · Computer Science 2021-02-09 Jason P. Bell , Jeffrey Shallit

We study descriptive complexity properties of the class of regular bifix-free languages, which is the intersection of prefix-free and suffix-free regular languages. We show that there exist a single ternary universal (stream of) bifix-free…

Formal Languages and Automata Theory · Computer Science 2017-01-16 Robert Ferens , Marek Szykuła

Given a countable set X (usually taken to be N or Z), an infinite permutation $\pi$ of X is a linear ordering $<_\pi$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of…

Combinatorics · Mathematics 2011-03-01 Steven Widmer

We present methods for calculating a measure of phonotactic complexity---bits per phoneme---that permits a straightforward cross-linguistic comparison. When given a word, represented as a sequence of phonemic segments such as symbols in the…

Computation and Language · Computer Science 2020-05-11 Tiago Pimentel , Brian Roark , Ryan Cotterell

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

Discrete Mathematics · Computer Science 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for…

Formal Languages and Automata Theory · Computer Science 2024-11-15 Jorge Almeida , Manfred Kufleitner , Jan Philipp Wächter

We study various complexity properties of suffix-free regular languages. The quotient complexity of a regular language $L$ is the number of left quotients of $L$; this is the same as the state complexity of $L$. A regular language $L'$ is a…

Formal Languages and Automata Theory · Computer Science 2016-12-13 Janusz Brzozowski , Marek Szykuła

We study structure of pure morphic and morphic sequences and prove the following result: the subword complexity of arbitrary morphic sequence is either $\Theta(n^{1+1/k})$ for some $k\in\mathbb N$, or is $O(n \log n)$.

Combinatorics · Mathematics 2015-02-23 Rostislav Devyatov