1: \begin{abstract}

2: We provide an algorithm to solve the word problem in all fundamental

3: groups of  3-manifolds that are either closed, or compact with

4: (finitely many) boundary components consisting of incompressible

5: tori, by showing that these groups are autostackable.

6: %In contrast to other known algorithms,

7: In particular, this gives a common framework to solve the word

8: problem in these 3-manifold groups using finite state automata.

9: 

10: We also introduce the notion of a group which is

11: autostackable {\rsp} a subgroup, and show that a

12: fundamental group of a graph of groups

13: whose vertex groups are autostackable {\rsp} any edge group is

14: autostackable.  A group that is strongly coset automatic over

15: an autostackable subgroup, using a prefix-closed

16: transversal, is also shown to be autostackable

17: {\rsp} that subgroup.

18: Building on work by Antolin and Ciobanu, we

19: show that a finitely generated group that is hyperbolic relative

20: to a collection of abelian subgroups is also

21: strongly coset automatic relative to each subgroup

22: in the collection.

23: Finally, we show that fundamental groups of compact geometric

24: 3-manifolds, with boundary consisting of

25: (finitely many) incompressible torus components,

26: are autostackable {\rsp} any choice of peripheral subgroup.

27: %Autostackability of any non-geometric 3-manifold then

28: %follows, using geometrization.

29: \end{abstract}