Traitement informatique des langages informatiques

Traitement informatique des langages informatiques
Traitement informatique des langages informatiques
1 Introduction
Chapitre 1 Introduction
Traitement informatique des langages informatiques
[email protected]
1.1 Contexte du cours
Diaporama & notes du cours TLC période 2
1.2 Introduction aux concepts de base
Ensimag – Apprentissage 1A – 2016-2017
git clone http://www-verimag.imag.fr/∼boulme/TLC1APP/.git
Traitement informatique des langages informatiques
1/7
2 Langages algébriques et BNF (définitions) Traitement informatique des langages informatiques
Chapitre 2 Langages algébriques et BNF (définitions)
2/7
3 Théorie des syntaxes abstraites
Chapitre 3 Théorie des syntaxes abstraites
3.1 Introduction aux syntaxes abstraites et à leurs sémantiques
2.1 Introduction
3.2 Formalisation de la méta-syntaxe
3.2.1 Langages multisortés de termes
3.2.2 Formalisation des systèmes d’attributs sur AST
2.2 Définitions d’ensembles comme plus petit point fixe
3.3 Application à la programmation sur des AST
2.3 Introduction aux langages algébriques et aux BNF
3.4 Application à l’analyse syntaxique en notation préfixe
3/7
4/7
Traitement informatique des langages informatiques
4 Sémantiques des BNF et arbres d’analyse Traitement informatique des langages informatiques
Chapitre 4 Sémantiques des BNF et arbres d’analyse
Chapitre 5 Théorie des grammaires et du parsing
5.1 “Contexte culturel” des grammaires hors-contextes
5.1.1 Réécriture de mots
5.1.2 Grammaires et classification de Chomsky
4.1 Sémantique dirigée par la syntaxe
5.2 Grammaires hors-contextes et analyse syntaxique
5.2.1 Correspondance entre dérivations et arbres d’analyse
5.2.2 Théorie de l’analyse syntaxique LL(1)
5.2.3 Implémentation de l’analyseur LL(1)
5.2.4 L’analyse syntaxique LL(1) en pratique
5.2.5 Mise en Perspectives & Conclusions
4.2 Introduction à la notion de parenthésage implicite
4.3 Formaliser niveaux de précédence dans BNF elles-mêmes
Traitement informatique des langages informatiques
5 Théorie des grammaires et du parsing
5/7
5 Théorie des grammaires et du parsing
Ouvrages conseillés pour appronfondir le cours
Compilers: Principles, Techniques and Tools
de Aho, Lam, Sethi & Ullman (1988/2007)
Introduction to automata theory, languages, and computation
de Hopcroft, Motwani & Ullman (1979/2007)
The Definitive ANTLR4 Reference
de Terence Parr (2013)
Theories of programming languages
de John C. Reynolds (1998)
NB: livres tous disponibles dans BUs de Grenoble.
cf. http://rugbis.grenet.fr
7/7
6/7