Automatic groups, subgroups and cosets
Automatic groups, subgroups and cosets
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.