Aux étudiants de la deuxième année, nous proposons ce module d'informatique fondamentale. Il est centré autour de l'étude des aspects mathématiques des langages. En passant par la définition des systèmes générateurs (grammaires) et reconnaisseurs (automates) de certains classes de langages (Hiérarchie de Chomsky), nous y prouvons également les principales propriétés d'équivalence (Kleene) et de fermeture. Cette théorie est indispensable à tout informaticien. Elle trouve des applications dans divers domaines (synthèse de circuits, vérifications de protocoles, recherche de motifs, différentes phases d'analyse dans les compilateurs, etc.)
- Teacher: Slimane Oulad-Naoui