Lösung des Wortproblems

Der Entscheidungsprozess, zu bestimmen, ob zwei Wörter in den Erzeugern einer präsentierten algebraischen Struktur dasselbe Element im durch die Relationen definierten Quotienten darstellen; äquivalent ist die Entscheidung, ob ein gegebenes Wort das Identitätselement darstellt.