Description du cours
Scolarité
Premier cycle, 3 crédit(s)
Objectif
Comprendre les concepts et les techniques de la théorie des automates et des langages formels.
Contenu
Présentation parallèle des classes d'automates (déterministes et non déterministes) et de leur langage associé : automates à états finis, expressions régulières et langages réguliers, automates à pile, grammaires et langages non-contextuels. Modèle de machines de Turing. Application à l'analyse lexicale et à l'analyse syntaxique.
Formules pédagogiques
Leçons magistrales, travaux pratiques et exercices.