Automatic group

Definition
An automatic group is a finitely generated group satisfying the following equivalent conditions:


 * 1) There exists a finite generating set with respect to which the group possesses an defining ingredient::automatic structure.
 * 2) For every finite generating set, the group possesses an automatic structure with respect to that generating set.