Comment rester rationnel!
par
Jean-Éric Pin
Institut de Recherche en Informatique Fondamentale et Université de Paris-Diderot
Jeudi 5 Mai, 11:00-12:00, Salle 3195, Pavillon André-Aisenstadt
Université de Montréal, 2920 Chemin de la Tour
Résumé:
Cet exposé s'adresse à un large public. Je présenterai un panorama historique sur les automates finis et les langages rationnels, leur utilisation dans divers domaines (linguistique, vérification, etc.) ainsi que quelques problèmes célèbres, résolus ou non.