Aspects algorithmiques du retournement de mot

TEL :: [tel-00439023, version 1]
http://tel.archives-ouvertes.fr/tel-00439023/en/
...
Le retournement de mot est une opération de réécriture liée à une présentation (de semigroupe dans ce travail). Dans les bons cas, le retournement donne une solution au problème de mot. Sinon, il existe un moyen d'ajouter des relations à une présentation pour la rendre complète.
...