ECTS
4 crédits
Composante
Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)
Volume horaire
39h
Description
Cet enseignement montre l’intérêt d’étudier les langages formels dans la conception des langages (syntaxe, grammaire), l’analyse (lexicale et syntaxique) et la compilation.
Plus précisément, on y aborde les différents types de langages (grammaires) et leurs classifications, l’analyse lexicale et l’analyse syntaxique, à travers la manipulation des expressions régulières, les automates et les grammaires hors contextes.
Objectifs
À la fin de cette UE, vous serez capable de :
- Maîtriser l’intérêt de la théorie des langages pour la compilation,
- Identifier le type d’une grammaire /langage,
- Manipuler les expressions régulières et les automates à états finis,
- Déterminiser et minimiser un automate à états finis.
Heures d'enseignement
- CMCours Magistral21h
- TDTravaux Dirigés18h
Contrôle des connaissances
1ère session :
- 30% contrôle continu écrit
- 70% examen terminal écrit
2ème session : 100% examen terminal écrit.
Compétences acquises
Compétences | Niveau d'acquisition | |
---|---|---|
Mise en œuvre de méthodes et d'outils du champ disciplinaire | Caractériser les outils logiques et algébriques fondamentaux (théorie des langages et de la compilation, logique et raisonnement, ordres, induction) et leurs implications dans la programmation et la modélisation. | 3 - Maitrise |
Se servir aisément de plusieurs styles/paradigmes algorithmiques et de programmation (approches impérative, fonctionnelle, objet et multitâche) ainsi que plusieurs langages de programmation | 1 - Notion |