Aller au sommaire principal

ULB - Université libre de Bruxelles

 

AIDE | QUITTER

   

Année académique 2017-2018
24/05/2019
Image transparente
Dernière modification : le 19/12/2014 par GEERAERTS, Gilles

Langue/Language


Introduction to language theory and compiling
INFO - F403

I. Informations générales
Intitulé de l'unité d'enseignement * Introduction to language theory and compiling
Langue d'enseignement * Enseigné en anglais
Niveau du cadre de certification * Niveau 7 (2e cycle-MA/MS/MA60)
Discipline * Informatique
Titulaire(s) * [y inclus le coordonnateur] Gilles GEERAERTS (coordonnateur)
II. Place de l'enseignement
Unité(s) d'enseignement co-requise(s) *
Unité(s) d'enseignement pré-requise(s) *
Connaissances et compétences pré-requises * Une bonne connaissance de l'algorithmique et des langages de programmation impératifs (exemple : cours INFO090
Programme(s) d'études comprenant l'unité d'enseignement - M-INFOS - Master en sciences informatiques (5 crédits, obligatoire)
- M-IRIFS - Master en ingénieur civil en informatique, à finalité spécialisée (5 crédits, obligatoire)
III. Objectifs et méthodologies
Contribution de l'unité d'enseignement au profil d'enseignement *
Objectifs de l'unité d'enseignement (et/ou acquis d'apprentissages spécifiques) *

Etude des notions d'automate accepteur et de grammaire pour définir un langage formel. Etude et classification des langages formels. Introduction aux tehniques d'analyse grammaticale. Lien entre les aspects théoriques et pratiques de la compilation.

Contenu de l'unité d'enseignement *

Langages, grammaires formelles. Types de langage, classification de Chomsky. Automates finis, ensembles et grammaires réguliers. Grammaires context-free, formes normales. Automates à pile. Analyseurs lexicaux, syntaxique descendant et ascendants, LL(k), LR(k), LALR(k). Analyse sémantique et systèmes de typage.

Méthodes d'enseignement et activités d'apprentissages *

Cours ex-cathedra, séminaire de mise en pratique des matières vues, 2 projets de compilation.

Support(s) de cours indispensable(s) * Oui (1)
Autres supports de cours

Théorie des langages et de la compilation, Thierry Massart, Sébastien Collette et Gilles Geeraerts, Presses Universitaires de Bruxelles, 2006 (2 Syllabi) (also available in electronic form: on my web page : Compil/Syllabus_fr_2p.pdf ) .

Introduction to Language Theory and Compilation (available in electronic form: on my web page : Compil/Syllabus_en_2p.pdf ) .

Compilers: Principles, Techniques, and Tools, Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman, Addison-Wesley, 1986.

Introduction to Automata Theory, Languages, and Computation, 2/e, John Hopcroft , Rajeev Motwani , Jeffrey Ullman, Addison-Wesley, 2001.

Other good books:

Compiler design, Renhard Wilhelm, Dieter Maurer and R. Wilhelm Addison-Wesley, 1995.

Crafting a Compiler with C, Charles Fischer , Richard LeBlanc , Addison-Wesley, 1991.

Lex & Yacc, John R. Levine, Tony Mason, Doug Brown, O Reilly ed, 1992.

Références, bibliographie et lectures recommandées *

- Thierry Massart, Théorie des langages et de la Compilation. Presses Universitaires de Bruxelles, 2005. (2 syllabi). - Aho, A.V., R. Sethi et J.D. Ullman, 1986. Compilers : Principles, Techniques and Tools. - Addison-Wesley. - Hopcroft, J., R. Motwani et J. Ullman, 2001. Introduction to Automata Theory, Languages and Computation. Second edition. - Addison-Wesley. - John R. Levine, Tony Mason, Davy Brown. Lex et YACC, O'Reilly ed, 1992.

IV. Evaluation
Méthode(s) d'évaluation *

Examen écrit sans note de cours ni livres + note d'année sur le projet (projet en paire).

Construction de la note (en ce compris, la pondération des notes partielles) *

13/20 examen écrit + 7/20 projet d'année

Langue d'évaluation *

Cours en Anglais

V. Organisation pratique
Institution organisatrice * ULB
Faculté gestionnaire * Sciences
Quadrimestre * Premier quadrimestre (NRE : 18351)
Horaire * Premier quadrimestre
Volume horaire
VI. Coordination pédagogique
Contact *

Gilles Geeraerts

Lieu d’enseignement *

Campus Plaine ou Solbosch

VII. Autres informations relatives à l’unité d’enseignement
Remarques

Il n'y a pas de projet de rattrapage en Août/Septembre qui vous donne une seconde change: le projet est donc essentiel à la réussite.


Retour aux détails du cursus
Image transparente
Passer directement au début de la page
Version: 8.1.1.17