The lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$ generated by a bireversible automaton
Categories
Group Theory
Formal Languages and Automata Theory