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

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 12/09/2019
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


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.

http://researchers.lille.inria.fr/~cchenavi/


Retour en haut 

Secured By miniOrange