Biautomatic 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 a defining ingredient::biautomatic structure.
 * 2) For every finite generating set, the group possesses a biautomatic structure with respect to that generating set.