Automatic groups, subgroups and cosets
Derek F. Holt · Geometry and topology monographs · 1998
The history, definition and principal properties of automatic groups and their generalisations to subgroups and cosets are reviewed briefly, mainly from a computational perspective.A result about the asynchronous automaticity of an HNN extension is then proved and applied to an example that was proposed by Mark Sapir.