This dissertation is devoted to the groups generated by automata. The first part of the dissertation deals with L-presentations for such groups. We describe the sufficient condition for an essentially free automaton group ...