  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.
