Comprendre les concepts et les techniques de la théorie des automates et des langages formels.

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.

Leçons magistrales, travaux pratiques et exercices.