Thèse soutenue

Contribution a l'etude de la sequentialite forte des definitions de fonctions par regles
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Walid Sadfi
Direction : Jean-Pierre Jouannaud
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1993
Etablissement(s) : Paris 11

Résumé

FR

Dans cette these, nous nous sommes interesses aux strategies de reduction normalisantes et optimales dans le cas des systemes de reecriture lineaires a gauche et ambigus (admettant des paires critiques). Pour cela, nous avons utilise les strategies de reduction fortement necessaires et a la notion de sequentialite forte qui permet de calculer effectivement ces strategies. Apres rappel de la notion de sequentialite forte et des algorithmes de decision de celle-ci, nous avons montre comment la notion de sequentialite forte peut etre appliquee au cas des systemes lineaires a gauche et possedant des paires critiques, et comment cette notion permet de calculer effectivement les strategies fortement necessaires pour un certain type de systemes de reecriture, appeles systeme de reecriture equilibres joignables en tete. Nous avons presente deux algorithmes differents pour decider de la sequentialite forte des systemes de reecritures ambigus. Le premier est l'extension de celui de klop et middeldorp, et le deuxieme est une extension d'une variante de l'algorithme de huet et levy. Enfin, nous avons etudie les reductions optimales en presence de theories equationnelles. Nous avons montre que les strategies fortement necessaires sont aussi des strategies de reduction normalisantes pour les systemes de reecriture equilibres joignables en tete lorsque les theories sont regulieres