Séminaire en ligne, June 11, 2020

Pour assister à la rencontre, se rendre sur https://ent-services.ens-lyon.fr/entVisio/ choisir Chocola dans le menu déroulant, mettre son nom comme identifiant, et Bruxelles sans majuscule comme dernier champ. Autoriser les popups, et changer de navigateur au besoin.

Merci aux auditeurs de couper micro et caméra (sauf éventuellement, lorsqu'ils souhaitent poser une question). Les questions peuvent aussi être posées dans la fenêtre de chat.

En cas de problème ou de question, écrire à chocola-gestion chez ens-lyon.fr.

Programme

10:15 – 11:15
Cyrille Chenavier (Johannes Kepler University (Linz, Austria))

We introduce topological rewriting systems as a generalisation of abstract rewriting systems, where we replace the set of terms by a topological space. Abstract rewriting systems correspond to topological rewriting systems for the discrete topology. We introduce the topological confluence property as an approximation of the confluence property, and use it to characterise standard bases in terms of rewriting theory. Using a representation of linear topological rewriting systems with continuous reduction operators, we also interpret the topological confluence property in terms of lattice operations. Finally, we investigate duality for reduction operators that we relate to series representations and syntactic algebras, from which we deduce a duality for proving that an algebra is syntactic or not.