1: \begin{abstract}

2: 

3: Finite automata have been used effectively in recent years to define

4: infinite groups. The two main lines of research have as their most

5: representative objects the class of automatic groups (including

6: word-hyperbolic groups as a particular case) and automata groups

7: (singled out among the more general self-similar groups).

8: 

9: The first approach implements

10: in the language of automata some tight constraints on the geometry of

11: the group's Cayley graph, building strange, beautiful bridges between

12: far-off domains.  Automata are used to define a normal form

13: for group elements, and to monitor the fundamental group operations.

14: 

15: The second approach features groups acting in a finitely constrained

16: manner on a regular rooted tree. Automata define sequential

17: permutations of the tree, and represent the group elements

18: themselves. The choice of particular classes of automata has often provided

19: groups with exotic behaviour which have revolutioned our perception of

20: infinite finitely generated groups.

21: \end{abstract}

22: