This talk adresses the problem of determining whether the transformation group defined by a finite automaton is free.  We shall describe an approach to this problem, which involves the study of the orbits of the transformation group defined by the so called dual automaton. The approach is then applied to finite automata known as Aleshin's automata.