1: \begin{abstract}

2: The word problem for Thompson's group $F$ has a solution, but 

3: it remains unknown whether $F$ is automatic or has a finite or regular convergent

4: (terminating and confluent) rewriting system.  We show that the group $F$

5: admits a natural extension of these two properties, namely autostackability,

6: and we give an explicit bounded regular convergent

7: prefix-rewriting system for $F$.

8: \end{abstract}