Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques

Jeudi 12 septembre 11:00-12:00 - Cyrille CHENAVIER - INRIA Lille, équipe Valse

Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques

Résumé : On introduit les systèmes de réécriture topologiques comme généralisation des systèmes de réécriture abstraits, où l’on considère un espace topologique au lieu d’un ensemble de termes. Les systèmes de réécriture abstraits sont les systèmes de réécriture topologiques pour la topologie discrète. On introduit la confluence topologique comme étant une propriété de confluence par passage à la limite, et on caractérise les bases standards par cette propriété. On caractérise également la confluence topologique par des opérations de treillis grâce à une représentation des systèmes de réécriture par des opérateurs de réduction continus. Enfin, on relie les représentations des séries formelles non commutatives à la dualité des opérateurs de réduction, et on déduit un critère pour qu’une algèbre soit syntaxique.

Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
Site Sud - Bâtiment TPR2
Campus de Luminy, Case 907
13288 MARSEILLE Cedex 9

Exporter cet événement

Pour en savoir plus sur cet événement, consultez l'article Séminaire Logique et Interactions