Décidabilité des langages d'arbres du premier ordre
- Date :
- Cet événement est passé.
- Type :
- Conférences et séminaires
- Lieu :
- Au local D4-2020 de la Faculté des sciences
Description :
Conférencier : Martin Beaudry, professeur, Département d’informatique, Université de Sherbrooke
Résumé : À l'aide d'outils algébriques développés au cours des dernières années, on analyse la complexité d'un problème de décision issu de la théorie des langages formels.
Toutes les personnes intéressées sont cordialement invitées.
Conférencier : Martin Beaudry, professeur, Département d’informatique, Université de Sherbrooke
Résumé : À l'aide d'outils algébriques développés au cours des dernières années, on analyse la complexité d'un problème de décision issu de la théorie des langages formels.
Toutes les personnes intéressées sont cordialement invitées.