Frage zu Entscheidbarkeit

Das Wortproblem in der Gruppentheorie ist die Frage, ob es ein Verfahren gibt, das für jedes gegebene Wort in den Erzeugern einer Gruppe entscheidet, ob dieses Wort das neutrale Element beschreib...