Finite automaton actions of free products of groups

Abstract

It is shown that for groups G and H that act faithfully by finite state automorphisms on regular rooted trees their free product G ∗ H admits a faithful action by finite state automorphisms on some regular rooted tree.