Global ETD Search

1	Présentations d'opérades et systèmes de réécriture Guiraud, Yves 28 June 2004 (has links) (PDF) 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. [INFO:INFO_OH] Computer Science/Other [MATH] Mathematics Présentations d'opérades réécriture diagrammes de Penrose algèbre universelle réécriture de mots réseaux de Petri réécriture de termes gestion explicite des ressources lambda-calcul substitutions explicites