Automata generating free products of groups of order 2
  We construct a family of automata with n states, n>3, acting on a rooted binary tree that generate the free products of cyclic groups of order 2. 
Dmytro Savchuk, Yaroslav Vorobets