Contribution a l'etude de la sequentialite forte des definitions de fonctions par regles

par Walid Sadfi

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Jouannaud.

Soutenue en 1993

à Paris 11 .

mots clés

Résumé

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

Titre traduit

Contribution to the study of strong sequentiality of function's definitions by rules

Pas de résumé disponible.