On a free group of transformations defined by an automaton
  We prove that three automorphisms of the rooted binary tree defined by a certain 3-state automaton generate a free non-Abelian group of rank 3. 
Mariya Vorobets, Yaroslav Vorobets