1: \begin{abstract}

2:   This chapter is devoted to the study of rational subsets of groups,

3:   with particular emphasis on the automata-theoretic approach to

4:   finitely generated subgroups of free groups. Indeed, Stallings'

5:   construction, associating a finite inverse automaton with every such

6:   subgroup, inaugurated a complete rewriting of free group

7:   algorithmics, with connections to other fields such as topology or

8:   dynamics.

9: 

10:   Another important vector in the chapter is the fundamental Benois'

11:   Theorem, characterizing rational subsets of free groups. The theorem

12:   and its consequences really explain why language theory can be

13:   successfully applied to the study of free groups. Rational subsets

14:   of (free) groups can play a major role in proving statements

15:   (\emph{a priori} unrelated to the notion of rationality) by

16:   induction. The chapter also includes related results for more

17:   general classes of groups, such as virtually free groups or graph

18:   groups.

19: \end{abstract}

20: