THEORIE DES LANGAGES ET COMPILATION

Horaires :

Pré-requis :

Objectifs :

• Définir la notion de langage formel, en particulier de langage informatique.
• Formaliser la notion de machine (ou procédé de calcul) et définir la notion de calculabilité.
• Comprendre et savoir appliquer les techniques de base utilisées en compilation.

Contenu

• Introduction à la théorie des langages
• Langages rationnels
• Langages récursivement énumérables et récursifs
• Langages algébriques ("context free")
• Analyse lexicale
• Analyse syntaxique
• Analyse de visibilité et de types
• Génération de code
• Réalisation de parties d'un compilateur

Moyens pédagogiques particuliers

Remarques