Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Découvrir, comprendre et savoir exploiter les outils mathématiques nécessaires à la modélisation formelle de la dynamique de systèmes discrets et à l'analyse d'informations structurées : les automates finis, automates à pile et machine de Turing. La matière couvre à la fois les aspects théoriques et pratiques à travers l'exploitation d'outils de l'état de l'art actuel permettant la modélisation de systèmes discrets, et l'utilisation de la description formelle de langages pour l'exploitation d'informations structurées.
Description
Étude théorique et pratique de :
- Automates finis
- Automates à pile
- Techniques d'analyse d'informations structurée
- Analyse descendante récursive
- Générateurs d'analyseurs lexicaux et syntaxiques
Pré-requis obligatoires
Théorie des langages (voir matière Modélisation de l'UE Modélisation et Programmation)