1: \begin{abstract}

2: We generalize the notion of a graph automatic group introduced by Kharlampovich, Khoussainov and Miasnikov 

3: by

4: replacing the regular languages in their definition with more powerful language classes. For a fixed language class $\mathcal C$,

5: we call the resulting groups $\mathcal C$-graph automatic.  We prove that the class of $\mathcal C$-graph automatic groups is

6: closed under change of generating set, direct   and free product for certain classes  $\mathcal C$.

7:  We show that for quasi-realtime counter-graph automatic

8: groups  where normal forms have length that is linear in the geodesic length, 

9: there is an algorithm to compute normal forms (and therefore solve the word problem) in polynomial time. 

10: The class of quasi-realtime counter-graph automatic groups  includes all

11: Baumslag-Solitar groups, and  the free group of countably infinite rank. Context-sensitive-graph automatic groups are shown

12: to be a very large class, which encompasses, for example, groups with unsolvable conjugacy problem, the Grigorchuk group,

13: and Thompson's groups $F,T$ and $V$. 

14: \end{abstract}

15: