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

Simulation of term rewriting systems by constructor systems

• Auteur / Autrice : Bruno Salinier
• Direction : Robert Strandh
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1995
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Réécriture, Systèmes de (informatique)

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