Projets
| Complexité Topologique, Jeux, Logique et Automates |
|---|
L'un des projets consiste à déméler la fine structure topologique des omega-langages d'arbres réguliers. En d'autres termes, il s'agit de découvrir la hierarchie de Wadge des automates d'arbres infinis non déterministes. L'autre cherche à caractériser les fonctions boréliennes comme des stratégies dans des jeux correctement définis. Le cas des fonctions de classe de Baire un entier fini fournissant une première étape déjà difficile. |
| Topologies Profinies |
|---|
Ce projet vise à étudier les réductions par fonctions uniformément continues entre langages réguliers - pour différentes topologies profinies - et à explorer les hiérarchies correspondantes, dans le but de classifier les langages réguliers d'une manière similaire à celle utilisée par Klaus Wagner pour les langages omega-réguliers. |
| AutoMathA |
|---|
Ce projet étudie la théorie des automates des mathématiques aux applications. Pour plus d'information : www.esf.org/automatha. |
| GAMES |
|---|
|
|
