A sequence $(s_n)$ is called p-automatic if the n-th term of the sequence $s_n$ is the
output of a finite automaton when the input is the p-ary expansion of n. Classical examples
for 2-automatic sequences are the Thue-Morse and the Rudin-Shapiro sequences.
In this talk I am going to speak about some properties of pseudorandomness of automatic
sequences. On the one hand these sequences are close to random sequences in terms of
linear complexity. On the other hand these sequences are as far from random sequences
as possible in terms of correlation measure. Thus these sequences are the first examples
which have good linear complexity but bad correlation measure.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/3444
[3] https://www.mpim-bonn.mpg.de/node/246