12 research outputs found
On the Number of Unbordered Factors
We illustrate a general technique for enumerating factors of k-automatic
sequences by proving a conjecture on the number f(n) of unbordered factors of
the Thue-Morse sequence. We show that f(n) = 4 and that f(n) = n
infinitely often. We also give examples of automatic sequences having exactly 2
unbordered factors of every length
Abelian-Square-Rich Words
An abelian square is the concatenation of two words that are anagrams of one
another. A word of length can contain at most distinct
factors, and there exist words of length containing distinct
abelian-square factors, that is, distinct factors that are abelian squares.
This motivates us to study infinite words such that the number of distinct
abelian-square factors of length grows quadratically with . More
precisely, we say that an infinite word is {\it abelian-square-rich} if,
for every , every factor of of length contains, on average, a number
of distinct abelian-square factors that is quadratic in ; and {\it uniformly
abelian-square-rich} if every factor of contains a number of distinct
abelian-square factors that is proportional to the square of its length. Of
course, if a word is uniformly abelian-square-rich, then it is
abelian-square-rich, but we show that the converse is not true in general. We
prove that the Thue-Morse word is uniformly abelian-square-rich and that the
function counting the number of distinct abelian-square factors of length
of the Thue-Morse word is -regular. As for Sturmian words, we prove that a
Sturmian word of angle is uniformly abelian-square-rich
if and only if the irrational has bounded partial quotients, that is,
if and only if has bounded exponent.Comment: To appear in Theoretical Computer Science. Corrected a flaw in the
proof of Proposition
Numeration systems: a bridge between formal languages and number theory
Considering an integer base b, any integer is represented by a word over a finite digit-set, its base-b expansion. In theoretical computer science, one is interested in syntactical properties of words or languages, i.e., sets of words. In this introductory talk, I will present recognizable sets of numbers : the set of their representations is accepted by a finite automaton. We will see that this property strongly depends on the choice of the numeration system. We will therefore review some fundamental questions and introduce automatic sequences. Thanks to Büchi-Bruyère theorem, first order logic and decidable theories may be used to produce automatic proofs and in particular solve, in an automated way, arithmetical problems. I will not assume any knowledge from the audience about formal languages theory
Automatic winning shifts
To each one-dimensional subshift , we may associate a winning shift
which arises from a combinatorial game played on the language of .
Previously it has been studied what properties of does inherit. For
example, and have the same factor complexity and if is a sofic
subshift, then is also sofic. In this paper, we develop a notion of
automaticity for , that is, we propose what it means that a vector
representation of is accepted by a finite automaton.
Let be an abstract numeration system such that addition with respect to
is a rational relation. Let be a subshift generated by an -automatic
word. We prove that as long as there is a bound on the number of nonzero
symbols in configurations of (which follows from having sublinear
factor complexity), then is accepted by a finite automaton, which can be
effectively constructed from the description of . We provide an explicit
automaton when is generated by certain automatic words such as the
Thue-Morse word.Comment: 28 pages, 5 figures, 1 tabl