Simulation de systèmes de réécriture de termes par des systèmes constructeurs

par Bruno Salinier

Thèse de doctorat en Informatique

Sous la direction de Robert Strandh.

Soutenue en 1995

à Bordeaux 1 .


  • Résumé

    Les systemes constructeurs fortement sequentiels admettent une strategie tres efficace pour une suite de reductions. Thatte a decouvert une transformation syntaxique qui permet de simuler tout systeme orthogonal par un systeme constructeur: toute forme normale dans ce nouveau systeme est egalement une forme normale dans le systeme initial. Malheureusement, cette transformation ne conserve pas la forte sequentialite, interdisant l'usage de la strategie efficace pour les systemes fortement sequentiels constructeurs. Dans cette these, nous definissons la classe des systemes equivalents constructeurs pour laquelle la forte sequentialite est conservee ; nous donnons quelques proprietes de cette classe ainsi qu'une caracterisation algebrique. Nous montrons egalement qu'il s'agit d'une sous-classe de la classe des systemes forward-branching definie par strandh qui est elle-meme incluse dans la classe des systemes fortement sequentiels. Ensuite, nous exposons une transformation de notre conception basee sur la notion d'arbre d'index. Cette transformation permet de simuler tout systeme forward-branching par un systeme fortement sequentiel constructeur. Dans le pire des cas, la taille de ce nouveau systeme est quadratique par rapport a la taille du systeme d'origine. Nous ameliorons alors notre transformation afin que la taille du systeme issu de la transformation soit lineaire par rapport a la taille du systeme d'entree

  • Titre traduit

    Simulation of term rewriting systems by constructor systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 102 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 95.B-1414
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 95.B-1414
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : SALINIER s

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1995-SAL
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.