| Etablissement | Université de M'Sila - Mohamed Boudiaf |
| Affiliation | Institut des Mathématiques |
| Auteur | GHADBANE, Nacer |
| Directeur de thèse | MIHOUBI Douadi (Maitre de conférence) |
| Filière | Mathématiques |
| Diplôme | Doctorat |
| Titre | Système réécriture et problème de mot dans un monoïde |
| Mots clés | Monoïde libre; réécriture; présentation d’un Monoïde; Congruence; relations confluentes. |
| Résumé | Le problème de mot dans un monoïde M = définit par présentation R où A est un son système générateur et de décider si deux mots u, v∊A* représentent le même élément de M c’est-à-dire u=M v.
Il est bien connu que ce problème est indécidable dans le cas général.
Dans ce projet de thèse on s’intéresse à des cas spécifiques où le problème est soluble. |
| Statut | Signalé |