1: \begin{abstract}

2: In this paper we survey some surprising connections between group theory, the theory of automata and formal languages,

3: the theory of ends, infinite games of perfect information, and monadic second-order logic.

4: \end{abstract}