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.

Préalable(s)

INF11207 et MAT13203