Differenciation d'ensembles structures : applications aux cas du monoïde libre et de la foret des arbres finis et étiquetés

par François Frilley

Thèse de doctorat en Sciences appliquées

Sous la direction de Dominique Perrin.

Soutenue en 1989

à Paris 7 .


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (219 p.)
  • Annexes : Bibliogr. p. 211-215

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB soumis à condition
  • Cote : TS (1989) 189
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.