Extended Notions Of Automata
Alessandra Carbone, Stephen Semmes · 2000
Abstract Heisenberg groups and Baumslag-Solitar groups (described below) provide basic examples of finitely-presented groups which are not automatic. They also provide a good setting in which to consider questions about the nature of recursion in broader terms.