The isomorphism problem for finite extensions of free groups is in PSPACE

Géraud Sénizergues, Armin Weiß

We present an algorithm for the following problem: given a context-free grammar for the word problem of a virtually free group $G$, compute a finite graph of groups $\mathcal{G}$ w…