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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 105 P.
  • Annexes : 25 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011520
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.