Evènement pour le groupe Séminaire Méthodes Formelles
|Date|| 2019-11-12 07:00-07:00|
|Titre||Monadic monadic second order logic |
|Résumé||Monadic second order logic (MSO) is usually studied over specific kinds of structures, be it finite words, infinite words, finite or infinite trees, total orders of various shapes, etc. A monad is a rather abstract notion of "a kind of structures" that covers these and many other examples. One can formulate an abstract definition of MSO for a generic monad. I will explain how this is done, and I will describe some conditions that a monad should satisfy to ensure a basic "sanity check": that every definable language is recognized by a finite algebra.
Familiarity with monads is not necessary, I will give a gentle introduction.
(joint work with Mikolaj Bojanczyk and Julian Salamanca) |
|Orateur||Bartek Klin |
|Url||MIMUW, University of Warsaw |
Aucun document lié à cet événement.RetourRetour à l'index