Présentations d'opérades et systèmes de réécriture - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2004

Operad presentations and rewrite systems

Présentations d'opérades et systèmes de réécriture

Résumé

This thesis studies the computational properties of operad presentations, or Penrose diagrams rewrite systems, together with their links with classical types of rewrite systems. With new criteria for termination and confluence, the convergence of the presentation L(Z2) of Z/2Z-vector spaces, a commutative equational theory, is proved. Operad presentations are shown to be generalizations of both word rewrite systems and Petri nets; furthermore, they provide explicit resource management calculi for left-linear term rewrite systems. This work is concluded by the description of obstructions for proving the same result for the lambda-calculus. Two appendices present the links between operads and other structures from universal algebra, together with a calculus of explicit substitutions.
Cette thèse étudie les propriétés calculatoires des présentations d'opérades, ou systèmes de réécriture de diagrammes de Penrose, et leurs liens avec divers types de systèmes de réécriture classiques. Grâce à des nouveaux critères pour la terminaison et la confluence, on démontre la conjecture sur la convergence de la présentation L(Z2) des Z/2Z-espaces vectoriels, une théorie équationnelle commutative. On montre que les présentations d'opérades sont des généralisations des systèmes de réécriture de mots et des réseaux de Petri et qu'elles fournissent un calcul de gestion explicite des ressources pour les systèmes de réécriture de termes linéaires à gauche. Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul. Des annexes présentent les liens entre les opérades et d'autres structures de l'algèbre universelle, ainsi qu'un calcul de substitutions explicites.
Fichier principal
Vignette du fichier
tel-00006863.pdf (3.31 Mo) Télécharger le fichier

Dates et versions

tel-00006863 , version 1 (10-09-2004)

Identifiants

  • HAL Id : tel-00006863 , version 1

Citer

Yves Guiraud. Présentations d'opérades et systèmes de réécriture. Autre [cs.OH]. Université Montpellier II - Sciences et Techniques du Languedoc, 2004. Français. ⟨NNT : ⟩. ⟨tel-00006863⟩
189 Consultations
540 Téléchargements

Partager

Gmail Facebook X LinkedIn More