Phelma Formation 2022

Théorie des langages et compilation - 4PMITLC1

  • 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
cf. l'emploi du temps 2020/2021

Informations complémentaires

Cursus ingénieur->Filières->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