English
Related papers

Related papers: Abelian maximal pattern complexity of words

200 papers

The avoidability of binary patterns by binary cube-free words is investigated and the exact bound between unavoidable and avoidable patterns is found. All avoidable patterns are shown to be D0L-avoidable. For avoidable patterns, the growth…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Robert Mercas , Pascal Ochem , Alexei V. Samsonov , Arseny M. Shur

In this paper we investigate the descriptional complexity of knot theoretic problems and show upper bounds for planarity problem of signed and unsigned knot diagrams represented by Gauss words. Since a topological equivalence of knots can…

Formal Languages and Automata Theory · Computer Science 2009-07-27 Vitaliy Kurlin , Alexei Lisitsa , Igor Potapov , Rafiq Saleh

In this paper we study an abelian version of the notion of return word. Our main result is a new characterization of Sturmian words via abelian returns. Namely, we prove that a word is Sturmian if and only if each of its factors has two or…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Svetlana Puzynina , Luca Q. Zamboni

There are many evaluation strategies for term rewrite systems, but automatically proving termination or analyzing complexity is usually easiest for innermost rewriting. Several syntactic criteria exist when innermost termination implies…

Logic in Computer Science · Computer Science 2025-12-17 Jan-Christoph Kassing , Jürgen Giesl

In this article, we consider the factor complexity of a fixed point of a primitive substitution canonically defined by a beta-numeration system. We provide a necessary and sufficient condition on the Renyi expansion of 1 for having an…

Combinatorics · Mathematics 2007-05-23 J. Bernat , Z. Masáková , E. Pelantová

We give a forbidden pattern characterization for the class of generalized definite languages, show that the corresponding problem is NL-complete and can be solved in quadratic time. We also show that their syntactic complexity coincides…

Formal Languages and Automata Theory · Computer Science 2013-04-23 Szabolcs Ivan , Judit Nagy-Gyorgy

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

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. The goal of this…

Dynamical Systems · Mathematics 2018-02-26 Carlos Gustavo Moreira , Christian Mauduit

We study expressibility in infinitary languages of the modal operators associated with satisfiability of sentences of these languages in submodels and extensions of models. We give a syntactic criterion for expressibility in finitary…

Logic · Mathematics 2026-05-05 Nikolai L. Poliakov , Denis I. Saveliev

The first two authors have shown [KK99,KK00] that the sum the exponent (and thus the number) of maximal repetitions of exponent at least 2 (also called runs) is linear in the length of the word. The exponent 2 in the definition of a run may…

Discrete Mathematics · Computer Science 2009-06-26 Roman Kolpakov , Gregory Kucherov , Pascal Ochem

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

Formal Languages and Automata Theory · Computer Science 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

In this note we present a characterisation of all unary and binary patterns that do not only contain variables, but also reversals of their instances. These types of variables were studied recently in either more general or particular…

Formal Languages and Automata Theory · Computer Science 2015-08-20 Robert Mercaş

In the study of infinite words, various notions of balancedness provide quantitative measures for how regularly letters or factors occur, and they find applications in several areas of mathematics and theoretical computer science. In this…

Combinatorics · Mathematics 2026-02-04 Bastiàn Espinoza , Pierre Popoli , Manon Stipulanti

In this note, we apply some techniques developed in [1]-[3] to give a particular construction of bivariate Abelian Codes from cyclic codes, multiplying their dimension and preserving their apparent distance. We show that, in the case of…

Information Theory · Computer Science 2024-02-08 José Joaquín Bernal , Diana H. Bueno-Carreño , Juan Jacobo Simón

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

Logic · Mathematics 2024-09-26 Joshua Frisch , Forte Shinko , Zoltan Vidnyanszky

This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal…

Formal Languages and Automata Theory · Computer Science 2019-12-25 Nathanaël Fijalkow

We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition…

Let $A$ and $B$ be sets of words of length $n$ over some finite alphabet. Suppose that no suffix of a word in $A$ coincides with a prefix of a word in $B$. Then we show that the product of densities of $A$ and $B$ is upper bounded by…

Combinatorics · Mathematics 2026-03-04 Dmitrii Zakharov

A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Joey Becker , F. Blanchet-Sadri , Laure Flapan , Stephen Watkins

For fast computation of the Arnold complexity of length $2^{n}$ binary words we obtain an upper bound for the Shannon function $Sh(n)$

Combinatorics · Mathematics 2012-09-24 Yuri V. Merekin