Download Introduction to automatic sequences

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Homological algebra wikipedia , lookup

Hyperreal number wikipedia , lookup

Transcript
École
« Ponts entre les suites automatiques, l’algèbre et la théorie des nombres »
 au  avril
School
“Bridges between Automatic Sequences, Algebra and Number Theory”
April –, 
Introduction to automatic sequences
Reem YASSAWI*
[email protected]
In this minicourse we define automatic sequences, and discuss their properties, characterisations and applications.
We first define and develop the basic theory of 𝑘-automatic sequences. We give several
examples of sequences which are automatic, and also describe techniques that can be
used to show when a sequence is not automatic. We discuss frequencies and logarithmic
frequencies of letters in automatic sequences. We describe Cobham’s characterisation of
automatic sequences as codings of fixed points of length-𝑘 substitutions, and Eilenberg’s
characterisation of automatic sequences as those whose 𝑘-kernel is finite. We also discuss
Cobham’s theorem.
Next we specialise to the case when the sequence (𝑎𝑘 )𝑘≥􏷟 is 𝑝-automatic, 𝑝 prime, and we
study the characterisations of 𝑝-automatic sequences by Christol and Furstenberg. We
emphasize the constructive nature of results in this area. Time permitting, we discuss
applications to number theory, algebra and dynamics.
* LIAFA, Université Paris Diderot-Paris7, Case 7014, 75205 Paris Cedex 13, FRANCE