Automates et langages formels

3,0 credits · Premier cycle

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.