Compressed words and automorphisms in fully residually free groups

Jeremy Macdonald

We show that the compressed word problem in a finitely-generated fully residually free group (F -group) is decidable in polynomial time, and use the result to show that the word pr…