Description
Cet ECUE permet aux étudiants de comprendre le fonctionnement théorique d’un compilateur. Il introduit les notions nécessaires à la définition et la manipulation d’automates. Les notions abordées sont des prérequis à une bonne maitrise des outils de compilation.
Contenu :
- Définition d’un automate, langages rationnels, langages réguliers
- Equivalence expression régulière / grammaire régulière / automate (théorème de Kleene)
- Hiérarchie de Chomsky, types de langages, types de grammaires
- Langages algébriques, automates à piles