Automatic Quotients of Free Groups

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.Comment: 14 pages, no figures. Minor corrections. Statements of theorems and lemmas are unchange