Preuves de terminaison des systèmes de réecriture : un outil fondé sur les interprétations polynomiales

par Ahlem Ben Cherifa

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre Lescanne.

Soutenue en 1986

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    L'objectif de cette thèse est une étude de la terminaison des systèmes de réécriture de termes en utilisant des interprétations polynomiales. Nous caractérisons aussi les interprétations polynomiales des opérateurs associatifs cumutatifs (ou AC), fournissant ainsi un nouvel ordre, utilisant le même processus que celui adopté pour la terminaison de la réécriture standard. De plus nous avons veillé à utiliser le principe de la terminaison associative-commutative, pour l'étendre à d'autres catégories de réécriture équationnelle. Enfin nous étendons notre approche aux produits cartésiens sur les polynômes, permettant ainsi l'utilisation de plus d'une interprétation pour un symbole de fonction donné. Nous utilisons alors, pour la preuve de la terminaison, les interprétations polynomiales classiques ou les interprétations polynomiales associatives-commutatives et un ordre lexicographique. Un autre problème a été abordé dans sa généralité au cours de ce travail: il s'agit de la détermination des bonnes interprétations polynomiales. En nous fondant sur notre expérience, nous avons pu fournir à l'utilisateur quelques bonnes suggestions afin de l'aider dans le choix de ses interprétations.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (171 p.-(25) f. de pl.)
  • Annexes : Bibliogr. p. 164-171

Où se trouve cette thèse ?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 86 BEN
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Cote : SC N1986 175
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.