9d778f98d8862baa.tex
1: \begin{abstract}
2: It is not known whether Thompson's group $F$ is automatic. With the recent extensions of the notion of an automatic group to graph automatic by Kharlampovich, Khoussainov and Miasnikov and then to ${\mathcal C}$-graph automatic by the authors, a compelling question is whether $F$ is graph automatic or ${\mathcal C}$-graph automatic for an appropriate language class ${\mathcal C}$.  The extended definitions allow the use of a symbol alphabet for the normal form language, replacing the dependence on generating set.  In this paper we construct a $1$-counter graph automatic structure for $F$ based on the standard infinite normal form for group elements.
3: \end{abstract}