Vous êtes
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 ORIAT1) 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
Aucun
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):
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):
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)
Le cours est programmé dans ces filières :
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
mise à jour le 30 juin 2020