Résolution du Problème des Mots

Processus de décision consistant à déterminer si deux mots en les générateurs d'une structure algébrique présentée représentent le même élément dans le quotient défini par les relations ; équivalemment, décider si un mot donné représente l'identité.