  We prove, for various important classes of Mealy automata, that almost all
generated groups have an element of infinite order. In certain cases, it also
implies other results such as exponential growth.
