\begin{thebibliography}{Mam03}

\bibitem[Ale83]{MR713968}
S.~V. Aleshin.
\newblock A free group of finite automata.
\newblock {\em Vestnik Moskov. Univ. Ser. I Mat. Mekh.}, (4):12--14, 1983.

\bibitem[Bac07]{bacher}
R.~Bacher.
\newblock Determinants related to binomial coefficients modulo $2$ and $4$.
\newblock arXiv:math/0708.1430, 2007.

\bibitem[Bar03a]{MR2009317}
L.~Bartholdi.
\newblock Endomorphic presentations of branch groups.
\newblock {\em J. Algebra}, 268(2):419--443, 2003.

\bibitem[Bar03b]{MR1981466}
L.~Bartholdi.
\newblock A {W}ilson group of non-uniformly exponential growth.
\newblock {\em C. R. Math. Acad. Sci. Paris}, 336(7):549--554, 2003.

\bibitem[Bel04]{MR2043362}
P.~Bellingeri.
\newblock On presentations of surface braid groups.
\newblock {\em J. Algebra}, 274(2):543--563, 2004.

\bibitem[BFH92]{MR1149891}
B.~Bielefeld, Y.~Fisher, and J.~Hubbard.
\newblock The classification of critically preperiodic polynomials as dynamical
  systems.
\newblock {\em J. Amer. Math. Soc.}, 5(4):721--762, 1992.

\bibitem[BG02]{MR1899368}
L.~Bartholdi and R.~I. Grigorchuk.
\newblock On parabolic subgroups and {H}ecke algebras of some fractal groups.
\newblock {\em Serdica Math. J.}, 28(1):47--90, 2002.

\bibitem[BGN03]{MR2091700}
L.~Bartholdi, R.~Grigorchuk, and V.~Nekrashevych.
\newblock From fractal groups to fractal sets.
\newblock In {\em Fractals in Graz 2001}, Trends Math., pages 25--118.
  Birkh{\"a}user, Basel, 2003.

\bibitem[BG{\v S}03]{MR2035113}
L.~Bartholdi, R.~I. Grigorchuk, and Z.~{\v S}uni{\a'k}.
\newblock Branch groups.
\newblock In {\em Handbook of algebra, Vol. 3}, pages 989--1112. North-Holland,
  Amsterdam, 2003.

\bibitem[BM97]{MR1446574}
M.~Burger and S.~Mozes.
\newblock Finitely presented simple groups and products of trees.
\newblock {\em C. R. Acad. Sci. Paris S{\a'e}r. I Math.}, 324(7):747--752,
  1997.

\bibitem[BM00a]{MR1839488}
M.~Burger and S.~Mozes.
\newblock Groups acting on trees: from local to global structure.
\newblock {\em Inst. Hautes {\a'E}tudes Sci. Publ. Math.}, (92):113--150
  (2001), 2000.

\bibitem[BM00b]{MR1839489}
M.~Burger and S.~Mozes.
\newblock Lattices in product of trees.
\newblock {\em Inst. Hautes {\a'E}tudes Sci. Publ. Math.}, (92):151--194
  (2001), 2000.

\bibitem[BR05]{bartholdi-reznykov}
L.~Bartholdi and I.~I. Reznykov.
\newblock A mealy machine of growth $n^{2.4401}$.
\newblock arXiv:math.GR/0506203, 2005.

\bibitem[BRS06]{MR2194959}
L.~Bartholdi, I.~I. Reznykov, and V.~I. Sushchansky.
\newblock The smallest {M}ealy automaton of intermediate growth.
\newblock {\em J. Algebra}, 295(2):387--414, 2006.

\bibitem[BS62]{MR0142635}
G.~Baumslag and D.~Solitar.
\newblock Some two-generator one-relator non-{H}opfian groups.
\newblock {\em Bull. Amer. Math. Soc.}, 68:199--201, 1962.

\bibitem[B{\v S}01]{MR1856923}
L.~Bartholdi and Z.~{\v S}uni{\a'k}.
\newblock On the word and period growth of some groups of tree automorphisms.
\newblock {\em Comm. Algebra}, 29(11):4923--4964, 2001.

\bibitem[BSV99]{MR1656573}
A.~M. Brunner, S.~Sidki, and A.~C. Vieira.
\newblock A just nonsolvable torsion-free group defined on the binary tree.
\newblock {\em J. Algebra}, 211(1):99--114, 1999.

\bibitem[BV05]{MR2176547}
L.~Bartholdi and B.~Vir{\a'a}g.
\newblock Amenability via random walks.
\newblock {\em Duke Math. J.}, 130(1):39--56, 2005.

\bibitem[Cha95]{MR1314589}
R.~Charney.
\newblock Geodesic automation and growth functions for {A}rtin groups of finite
  type.
\newblock {\em Math. Ann.}, 301(2):307--324, 1995.

\bibitem[Dah05]{MR2140091}
F.~Dahmani.
\newblock An example of non-contracting weakly branch automaton group.
\newblock In {\em Geometric methods in group theory}, volume 372 of {\em
  Contemp. Math.}, pages 219--224. Amer. Math. Soc., Providence, RI, 2005.

\bibitem[DH84]{MR762431}
A.~Douady and J.~H. Hubbard.
\newblock {\em {{\a'E}}tude dynamique des polyn{\^o}mes complexes. {P}artie
  {I}}, volume~84 of {\em Publications Math{\a'e}matiques d'Orsay [Mathematical
  Publications of Orsay]}.
\newblock Universit{\a'e} de Paris-Sud, D{\a'e}partement de Math{\a'e}matiques,
  Orsay, 1984.

\bibitem[DH85]{MR812271}
A.~Douady and J.~H. Hubbard.
\newblock {\em {{\a'E}}tude dynamique des polyn{\^o}mes complexes. {P}artie
  {II}}, volume~85 of {\em Publications Math{\a'e}matiques d'Orsay
  [Mathematical Publications of Orsay]}.
\newblock Universit{\a'e} de Paris-Sud, D{\a'e}partement de Math{\a'e}matiques,
  Orsay, 1985.
\newblock With the collaboration of P. Lavaurs, Tan Lei and P. Sentenac.

\bibitem[EH07]{eick-hartung}
B.~Eick and R.~Hartung.
\newblock A nilpotent quotient algorithm for l-presented groups.
\newblock submitted, 2007.

\bibitem[Ers04]{MR2144977}
A.~Erschler.
\newblock Boundary behavior for groups of subexponential growth.
\newblock {\em Ann. of Math. (2)}, 160(3):1183--1210, 2004.

\bibitem[FG85]{MR942349}
J.~Fabrykowski and N.~Gupta.
\newblock On groups with sub-exponential growth functions.
\newblock {\em J. Indian Math. Soc. (N.S.)}, 49(3-4):249--256 (1987), 1985.

\bibitem[FG91]{MR1153150}
J.~Fabrykowski and N.~Gupta.
\newblock On groups with sub-exponential growth functions. {II}.
\newblock {\em J. Indian Math. Soc. (N.S.)}, 56(1-4):217--228, 1991.

\bibitem[GM05]{MR2155175}
Y.~Glasner and S.~Mozes.
\newblock Automata and square complexes.
\newblock {\em Geom. Dedicata}, 111:43--64, 2005.

\bibitem[Gri80]{MR565099}
R.~I. Grigor{\v c}uk.
\newblock On {B}urnside's problem on periodic groups.
\newblock {\em Funktsional. Anal. i Prilozhen.}, 14(1):53--54, 1980.

\bibitem[Gri84]{MR764305}
R.~I. Grigorchuk.
\newblock Degrees of growth of finitely generated groups and the theory of
  invariant means.
\newblock {\em Izv. Akad. Nauk SSSR Ser. Mat.}, 48(5):939--985, 1984.

\bibitem[GS83]{MR696534}
N.~Gupta and S.~Sidki.
\newblock On the {B}urnside problem for periodic groups.
\newblock {\em Math. Z.}, 182(3):385--388, 1983.

\bibitem[G{\v S}06]{MR2217913}
R.~Grigorchuk and Z.~{\v S}uni{\a'k}.
\newblock Asymptotic aspects of {S}chreier graphs and {H}anoi {T}owers groups.
\newblock {\em C. R. Math. Acad. Sci. Paris}, 342(8):545--550, 2006.

\bibitem[G{\.Z}02]{MR1902367}
R.~I. Grigorchuk and A.~{\.Z}uk.
\newblock On a torsion-free weakly branch group defined by a three state
  automaton.
\newblock {\em Internat. J. Algebra Comput.}, 12(1-2):223--246, 2002.
\newblock International Conference on Geometric and Combinatorial Methods in
  Group Theory and Semigroup Theory (Lincoln, NE, 2000).

\bibitem[Lys85]{MR819415}
I.~G. Lys{\"e}nok.
\newblock A set of defining relations for the {G}rigorchuk group.
\newblock {\em Mat. Zametki}, 38(4):503--516, 634, 1985.

\bibitem[Mam03]{MR2139928}
M.~J. Mamaghani.
\newblock A fractal non-contracting class of automata groups.
\newblock {\em Bull. Iranian Math. Soc.}, 29(2):51--64, 92, 2003.

\bibitem[MNS00]{MR1841119}
O.~Macedo{\a'n}ska, V.~Nekrashevych, and V.~Sushchansky.
\newblock Commensurators of groups and reversible automata.
\newblock {\em Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki},
  (12):36--39, 2000.

\bibitem[Nek05]{MR2162164}
V.~Nekrashevych.
\newblock {\em Self-similar groups}, volume 117 of {\em Mathematical Surveys
  and Monographs}.
\newblock American Mathematical Society, Providence, RI, 2005.

\bibitem[Neu86]{MR840129}
P.~M. Neumann.
\newblock Some questions of {E}djvet and {P}ride about infinite groups.
\newblock {\em Illinois J. Math.}, 30(2):301--316, 1986.

\bibitem[Pet06]{MR2293788}
V.~M. Petrogradsky.
\newblock Examples of self-iterating {L}ie algebras.
\newblock {\em J. Algebra}, 302(2):881--886, 2006.

\bibitem[Poi]{math.DS/9305207}
A.~Poirier.
\newblock {On postcritically finite polynomials, part 1: critical portraits}.
\newblock Stony Brook IMS 1993/5.

\bibitem[Sid00]{MR1774362}
S.~Sidki.
\newblock Automorphisms of one-rooted trees: growth, circuit structure, and
  acyclicity.
\newblock {\em J. Math. Sci. (New York)}, 100(1):1925--1943, 2000.
\newblock Algebra, 12.

\bibitem[Sid05]{MR2197828}
S.~Sidki.
\newblock Tree-wreathing applied to generation of groups by finite automata.
\newblock {\em Internat. J. Algebra Comput.}, 15(5-6):1205--1212, 2005.

\bibitem[SS05]{MR2197829}
P.~V. Silva and B.~Steinberg.
\newblock On a class of automata groups generalizing lamplighter groups.
\newblock {\em Internat. J. Algebra Comput.}, 15(5-6):1213--1234, 2005.

\bibitem[{\v S}un07]{MR2318546}
Z.~{\v S}uni{\a'c}.
\newblock Hausdorff dimension in a family of self-similar groups.
\newblock {\em Geom. Dedicata}, 124:213--236, 2007.

\bibitem[SVV06]{steinberg-vorobets}
B.~Steinberg, M.~Vorobets, and Y.~Vorobets.
\newblock Automata over a binary alphabet generating free groups of even rank.
\newblock arXiv:math.GR/0610033, 2006.

\bibitem[SW03]{MR1995624}
S.~Sidki and J.~S. Wilson.
\newblock Free subgroups of branch groups.
\newblock {\em Arch. Math. (Basel)}, 80(5):458--463, 2003.

\bibitem[SZ08]{MR2390328}
I.~P. Shestakov and E.~Zelmanov.
\newblock Some examples of nil {L}ie algebras.
\newblock {\em J. Eur. Math. Soc. (JEMS)}, 10(2):391--398, 2008.

\bibitem[Tan02]{tan:database}
D.~T. Tan.
\newblock Quadratische morphismen.
\newblock Diplomarbeit at ETHZ, under the supervision of R. Pink, 2002.

\bibitem[vN29]{vneumann}
J.~von Neumann.
\newblock Zur allgemeinen {Theorie} des {Masses}.
\newblock {\em Fund. Math.}, 13:73--116 and 333, 1929.
\newblock (= Collected works, vol. I, pages 599--643).

\bibitem[VV06]{vorobets}
M.~Vorobets and Y.~Vorobets.
\newblock On a series of finite automata defining free transformation groups.
\newblock arXiv:math.GR/0604328, 2006.

\end{thebibliography}
