Evènement pour le groupe Graphes et Logique


Date 2011-10-18  11:00-12:00
TitreRecognisability 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. 
Lieusalle 76 
OrateurAchim Blumensath 
Emailblumensath@liafa.jussieu.fr 
UrlLiafa, université Paris 7 



Aucun document lié à cet événement.

Retour
Retour à l'index