Stephan F 1
1.
Lamplighter groups and automata
1