Autostackability of Thompson's group $F$

Nathan Corwin, Gili Golan, Susan Hermiller +2

The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewritin…