  We introduce two series of finite automata starting from the so-called
Aleshin and Bellaterra automata. We prove that each automaton in the first
series defines a free non-Abelian group while each automaton in the second
series defines the free product of groups of order 2. Furthermore, these
properties are shared by disjoint unions of any number of distinct automata
from either series.
