On groups with EDT0L word problem

Alex Bishop, Murray Elder, Alex Evetts +2

We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In add…