1: \begin{abstract}

2:   Viewing Dehn's algorithm as a rewriting system, we generalise to

3:   allow an alphabet containing letters which do not necessarily

4:   represent group elements. This extends the class of groups for which

5:   the algorithm solves the word problem to include nilpotent groups,

6:   many relatively hyperbolic groups including geometrically finite

7:   groups and fundamental groups of certain geometrically decomposable

8:   manifolds. The class has several nice closure properties. We also

9:   show that if a group has an infinite subgroup and one of exponential

10:   growth, and they commute, then it does not admit such an algorithm.

11:   We dub these \dehn algorithms.

12: \end{abstract}

13: