Currently displaying 1 – 8 of 8

Showing per page

Order by Relevance | Title | Year of publication

Polynomial languages with finite antidictionaries

Arseny M. Shur — 2009

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We tackle the problem of studying which kind of functions can occur as complexity functions of formal languages of a certain type. We prove that an important narrow subclass of rational languages contains languages of polynomial complexity of any integer degree over any non-trivial alphabet.

Polynomial languages with finite antidictionaries

Arseny M. Shur — 2008

RAIRO - Theoretical Informatics and Applications

We tackle the problem of studying which kind of functions can occur as complexity functions of formal languages of a certain type. We prove that an important narrow subclass of rational languages contains languages of polynomial complexity of any integer degree over any non-trivial alphabet.

Comparing Complexity Functions of a Language and Its Extendable Part

Arseny M. Shur — 2008

RAIRO - Theoretical Informatics and Applications

Right (left, two-sided) extendable part of a language consists of all words having infinitely many right (resp. left, two-sided) extensions within the language. We prove that for an arbitrary factorial language each of these parts has the same growth rate of complexity as the language itself. On the other hand, we exhibit a factorial language which grows superpolynomially, while its two-sided extendable part grows only linearly.

On abelian repetition threshold

Alexey V. SamsonovArseny M. Shur — 2012

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We study the avoidance of Abelian powers of words and consider three reasonable generalizations of the notion of Abelian power to fractional powers. Our main goal is to find an Abelian analogue of the repetition threshold, , a numerical value separating -avoidable and -unavoidable Abelian powers for each size of the alphabet. We prove lower bounds for the Abelian repetition threshold for large alphabets and all definitions of Abelian fractional power. We develop a method estimating the exponential...

On Abelian repetition threshold

Alexey V. SamsonovArseny M. Shur — 2012

RAIRO - Theoretical Informatics and Applications

We study the avoidance of Abelian powers of words and consider three reasonable generalizations of the notion of Abelian power to fractional powers. Our main goal is to find an Abelian analogue of the repetition threshold, , a numerical value separating -avoidable and -unavoidable Abelian powers for each size of the alphabet. We prove lower bounds for the Abelian repetition threshold for large alphabets and all definitions of Abelian fractional ...

On the growth rates of complexity of threshold languages

Arseny M. ShurIrina A. Gorbunova — 2010

RAIRO - Theoretical Informatics and Applications

Threshold languages, which are the (/(–1))-free languages over -letter alphabets with ≥ 5, are the minimal infinite power-free languages according to Dejean's conjecture, which is now proved for all alphabets. We study the growth properties of these languages. On the base of obtained structural properties and computer-assisted studies we conjecture that the growth rate of complexity of the threshold language over letters tends to a constant α ^ 1 . 242 as tends to infinity.

Binary patterns in binary cube-free words: Avoidability and growth

Robert MercaşPascal OchemAlexey V. SamsonovArseny M. Shur — 2014

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

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 rates of the avoiding languages are studied. All such languages, except for the overlap-free language, are proved to have exponential growth. The exact growth rates of languages avoiding minimal avoidable patterns are approximated through computer-assisted upper...

Page 1

Download Results (CSV)