Automatic Quotients of Free Groups
Robert H. Gilman · arXiv (Cornell University) · 2003
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.