All Questions

In Gersten's "Problems on Automatic Groups", Problem 14, he asks the following question: Let $G=A\ast_{C}B$ where $A$ and $B$ are automatic and $C$ is infinite cyclic. Is $G$ automatic? Is this ...

Is the conjugacy problem for two-relator groups known to be undecidable? The word problem for two-relator groups is a famous open problem (appearing e.g. as Question 9.29 in the Kourovka notebook), ...

Note: This question was inspired by a related question about the Quantum Merlin Arthur (QMA) complexity class on Quantum Computing Stack Exchange. I was deliberating whether to ask this on CS Theory ...