On the complexity of the word problem of the R. Thompson group V
J. C. Birget
Published: 2022/3/16
Abstract
We analyze the proof by Lehnert and Schweitzer that the word problem of the Thompson group V is co-context-free, and we show that this word problem is the complement of the cyclic closure of a union of reverse deterministic context-free languages. The same is true for any finitely generated subgroup of V. For certain finite generating sets, this word problem is the complement of the cyclic closure of the union of four deterministic context-free languages. Therefore the word problem of V has quadratic time-complexity on a deterministic multitape Turing machine, and belongs to logDCFL.