Abstract FR:

La manipulation d'objets structures est un aspect essentiel de l'informatique moderne, en particulier dans les systèmes d'aide a la programmation. L'objet de cette thèse est l'étude de la comparaison de ces structures, qui est importante, tant d'un point de vue théorie que d'un point de vue pratique. Mathématiquement, tous les problèmes de comparaison appartiennent à un même paradigme décrit simplement par la notion de différenciation étudiée dans la première partie. Les exemples très importants de la différenciation sur le monoïde libre et sur la foret des arbres étiquetés sont ensuite abordes. Le premier de ces deux exemples a été souvent étudie: seule une synthèse des principaux résultats afférents au problème, complétée par une importante bibliographie, est présentée ici. Le deuxième, par contre, est totalement original. Il est aborde a la fois sous un aspect théorique, montrant la difficulté du sujet et sous un aspect pratique permettant de construire un différenciateur d'arbres applicable a un système réel a caractère industriel: l'éditeur syntaxique Centaur