Finitely generated semiautomatic groups
Sanjay K. Jain, Bakhadyr Khoussainov, Frank Stephan · Computability · 2018
The present work shows that Cayley automatic groups are semiautomatic and exhibits some further constructions of semiautomatic groups; as a consequence, various undecidability results for Cayley automatic groups hold also for finitely generated semia