1: \begin{abstract}

2: 

3: We propose a new generalisation of Cayley automatic groups, varying the time complexity of computing multiplication, and language complexity of the normal form representatives.

4: We first consider groups which have normal form language in the class $\mathcal C$ and multiplication by generators computable in linear time on a certain restricted Turing machine model (position--faithful one-tape).

5: We show that many of the algorithmic properties of automatic groups are preserved (quadratic time word problem), prove various closure properties, and show that the class is quite large; for example it includes all virtually polycyclic groups.

6: We then generalise to  groups which have normal form language in the class $\mathcal C$ and multiplication by generators computable in polynomial time on a (standard) Turing machine. Of particular interest is when $\mathcal C=\REG$  (the class of regular languages). We prove that 

7: $\REG$–Cayley polynomial–time

8: computable groups includes all finitely generated nilpotent groups, the wreath

9: product $\mathbb Z_2 \wr \mathbb Z^2$, and Thompson’s group $F$.

10: 

11: % old abstract

12: %We propose a new generalisation of Cayley automatic groups, 

13: %in terms of position--faithful one--tape Turing machines. 

14: %We prove a number of closure %properties, and furnish several

15: %examples which exhibit some surprising properties.

16: 

17: 

18: \end{abstract}

19: