Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Equations et systèmes de réécritures dans le monoïde libre : une approche commune
FR |
EN
| Auteur / Autrice : | Pierre Calladine |
| Direction : | André Arnold |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1989 |
| Etablissement(s) : | Poitiers |
Résumé
FR
Une structure originale, appelee codecoupage sur une famille de mots, permet de definir un ensemble de mots du monoide libre engendre par un alphabet a par la donnee de couples d'occurrences de facteurs egaux dans ces mots. Cette notion permet une demonstration nouvelle de l'existence et l'unicite d'une solution principale divisant une solution d'un systeme d'equations dans le monoide. Le concept de codecoupage permet aussi de definir une notion d'isomorphisme, combinatoire entre systemes de reecritures dans le monoide