Combinatorial Theory

An automatic sequence is a letter-to-letter coding of a fixed point of a uniform morphism. More generally, morphic sequences are letter-to-letter codings of fixed points of arbitrary morphisms. There are many examples where an, a priori, morphic sequence with a non-uniform morphism happens to be an automatic sequence. An example is the Lysënok morphism \(a \to aca\), \(b \to d\), \(c \to b\), \(d \to c\), the fixed point of which is also a \(2\)-automatic sequence. Such an identification is useful for describing the dynamical systems generated by the fixed point. We give several ways to uncover such hidden automatic sequences, and present many examples. We focus in particular on morphisms associated with Grigorchuk groups.

Keywords: Morphic sequences, automatic sequences, Grigorchuk groups.

Mathematics Subject Classifications: 11B85, 68R15, 37B10