1: \begin{abstract}

2: We adapt the Deutsch-Josza algorithm to the context of formal

3: language theory. Specifically, we use the algorithm to

4: distinguish between trivial and nontrivial words in groups given by

5: finite presentations, under the promise that a word is of a certain

6: type. This is done by extending the original algorithm to functions

7: of arbitrary length binary output and with the introduction of a

8: more general concept of parity. We provide examples in which properties inherited directly from the original algorithm

9: allow to reduce the number of oracle queries with respect to

10: the deterministic classical case. This has some consequences for

11: the word problem in groups with a particular kind of presentation.

12: \end{abstract}

13: