Automates

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

Compétences visées

Modélisation de la dynamique de systèmes discrets en utilisant les automates finis.

Construction d'outils d'analyse d'informations structurées à partir de modèles de langages sous la forme d'expressions régulières et de grammaires.

Pré-requis nécessaires

Théorie des langages (voir matière Modélisation de l'UE Modélisation et Programmation)

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances