Le théorème de Kuratowski et ses applications en théorie des langages
Jeudi 11 avril 2024, 14:00 à 15:00
Salle de séminaire du département informatique
(GRRIF, Université de Rouen)
Le théorème de Kuratowski affirme que, dans un espace topologique, au plus 14 éléments peuvent être obtenus à partir d'une partie donnée en appliquant un nombre arbitraire de fois les opérations de fermeture et de complémentation. Nous discuterons du treillis d'inclusion des éléments produits et nous donnerons quelques exemples d'application de ce théorème dans le cadre de la théorie des langages.