HNN extensions of free groups with equal associated subgroups of finite index: polynomial time word problem

Hanwen Shen, Alexander Ushakov

Let $G=F{\ast }_{\phi }t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1=H_2$ of finite index. We prove that the word problem in $G$ is decidable…