Automatic Quotients of Free Groups
arXiv:math/0305065
Abstract
Automatic groups admitting prefix closed automatic structures with uniqueness are characterized as the quotients of free groups by normal subgroups possessing sets of free generators satisfying certain language-theoretic conditions.
14 pages, no figures. Minor corrections. Statements of theorems and lemmas are unchanged