Intitulé:
Recognisability for infinite trees du groupe Graphes et Logique
|
Date | 2011-10-18 11:00-12:00 |
Titre | Recognisability for infinite trees |
Résumé | We develop a framework for recognisability of languages of infinite trees. This framework has the same expressive power as tree automata. We present an algebraic proof of Rabin's Tree Theorem that does not make use of automata or games. |
Lieu | salle 76 |
Orateur | Achim Blumensath |
Email | blumensath@liafa.jussieu.fr |
Url | Liafa, université Paris 7 |
Aucun document lié à cet événement.
RetourRetour à l'index