Automatic group
= Automatic group
{wiki}
An <automatic group> admits an <automatic structure for a group>: a <regular language> of representatives and synchronous <group multiplier automata> recognizing right multiplication by each generator and equality of representatives. Representatives need not be unique. This finite-state description yields effective algorithms for the <word problem for a group>.