Volumes horaires
- CM 0
- Projet 0
- TD 18.0
- Stage 0
- TP 0
- DS -
Crédits ECTS
Crédits ECTS 1.5
Objectif(s)
Ce cours, destiné aux étudiants de Grenoble INP - Phelma inscrits dans la filière SEOC, a entre autres pour objectif de leur fournir les bases nécessaires en vue du projet Génie Logiciel de fin de semestre.
Il s'agit d'acquérir les fondements de théorie des langages et de compilation. On étudie les formalismes permettant de définir les langages artificiels, en particulier les langages de programmation, et on présente les techniques de compilation associées. Seuls sont abordés les aspects syntaxiques, on laisse de côté les aspects sémantiques.
Contact Catherine ORIAT Responsable(s)
Marie-Laure POTET, Catherine ORIAT
Contenu(s)
1) Introduction, structure d'un compilateur
2) Langages : définitions, opérations
3) Expressions régulières
4) Automates finis
5) Grammaires hors-contexte
6) Analyses lexicale et syntaxique ; construction
d'arbre abstrait
7) Analyse contextuelle ; grammaires attribuées
Prérequis
Aucun
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) : Non
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : un examen écrit
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
- matériel autorisé, préciser : aucun
- matériel interdit, préciser : tout matériel électronique interdit
- Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) :
Salle spécifique :
Durée :
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents autorisés
Documents interdits (ex : livres, tous documents) : aucun
Matériel (ex : calculatrices):
- matériel autorisé, préciser : aucun
- matériel interdit, préciser : tout matériel électronique interdit
- Commentaires
Contrôle des connaissances en présentiel :
N1 = E1 (examen écrit)
N2 = E2 (examen écrit)
Contrôle des connaissances à distance
N1 = E1 (examen écrit à distance)
N2 = E2 (examen écrit à distance)
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Filière SEOC - Semestre 7
Bibliographie
J.E. Hopcroft, R. Motwani, J.D. Ullman : Introduction to Automata Theory, Languages, and Computation, 3/E. Addison-Wesley, 2006
A. Aho, R. Sethi, J.D. Ullman : Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1987