Revision sheet: Introduction aux phases du compilateur

📋 Plan du Cours

1. Définitions et objectifs d’un compilateur
2. Différences entre compilateur et interpréteur
3. Phases principales d’un compilateur : analyse lexicale, syntaxique et sémantique
4. Analyse lexicale : lexèmes, unités lexicales, modèles et spécifications des chaînes
5. Reconnaissance des unités lexicales avec l’outil FLEX
6. Rôle, méthodes et gestion des erreurs de l’analyse syntaxique
7. Construction d’un arbre syntaxique et analyse descendante par descente récursive

📖 1. Définitions et objectifs d’un compilateur

🔑 Notions clés & Définitions

• Opérateur + : Un opérateur unaire post-fixe utilisé pour indiquer la répétition d'un élément une ou plusieurs fois.
• Dans un langage : Le contexte ou environnement linguistique dans lequel un code source est écrit ou traduit, incluant le langage source, le langage cible et le langage d’implémentation.
• Compilateur : Définitions d’un compilateur Imaginez un traducteur humain.

📝 Points essentiels

• Un compilateur traduit un code source écrit dans un langage de programmation (LS) en un langage cible (LO) plus facile à manipuler pour l’ordinateur.
• Généralités Définitions d’un compilateur ▪ Un compilateur est un programme de traduction d’un code source écrit dans un langage de programmation (C, C++, Java, Python, …) qui est ‘’facile ‘’ à manipuler pour un informaticien dans un langage cible (de type Assembleur), facile à manipuler pour l’ordinateur.

💡 À retenir

Un compilateur traduit un code source écrit dans un langage de programmation (LS) en un langage cible (LO) plus facile à manipuler pour l’ordinateur.

📖 2. Différences entre compilateur et interpréteur

🔑 Notions clés & Définitions

• Interpréteur : Un programme qui traduit et exécute le code source ligne par ligne sans produire de fichier objet, ce qui ralentit l’exécution.
• Traduction globale : Méthode où la traduction du code source en instructions machine est effectuée entièrement avant l’exécution, générant un fichier exécutable.
• Traduction instantanée : Méthode où le code source est traduit ligne par ligne en instructions machine au moment de l’exécution, sans produire de fichier séparé.

📝 Points essentiels

• Le compilateur effectue une traduction globale du code source en instructions machine avant l’exécution, générant un fichier exécutable séparé.
• L’interpréteur traduit et exécute le code source ligne par ligne sans produire de fichier objet, ce qui ralentit l’exécution.

💡 À retenir

Les différences fondamentales résident dans le mode de traduction : le compilateur effectue une traduction préalable et rapide, tandis que l’interpréteur traduit à la volée, ce qui impacte la vitesse d’exécution.

📖 3. Phases principales d’un compilateur : analyse lexicale, syntaxique et sémantique

🔑 Notions clés & Définitions

• Rôle : Fonction spécifique d'une phase du compilateur, par exemple, l'analyse sémantique a pour rôle de vérifier la cohérence logique du programme.
• Analyse lexicale : Première étape du compilateur qui lit la suite de caractères du texte source pour découper en unités appelées lexèmes et vérifier leur appartenance au vocabulaire du langage.
• Analyse syntaxique : Phase du compilateur qui, après l'identification des mots, vérifie leur agencement selon la grammaire du langage source.
• Vérification : Elle s'assure que les mots utilisés appartiennent bien au vocabulaire du langage.

📝 Points essentiels

• L’analyse lexicale découpe le texte source en lexèmes et vérifie leur appartenance au vocabulaire du langage.
• L’analyse syntaxique vérifie la structure grammaticale des unités lexicales selon la grammaire du langage source.
• L’analyse sémantique contrôle la cohérence logique du programme, notamment les types et la déclaration des variables.

💡 À retenir

Les trois phases clés du compilateur sont l’analyse lexicale, syntaxique et sémantique, chacune ayant un rôle spécifique dans la traduction du code.

📖 4. Analyse lexicale : lexèmes, unités lexicales, modèles et spécifications des chaînes

🔑 Notions clés & Définitions

• O Exemple : Si vous écrivez Vitesse dans votre code, Vitesse est le lexème.
• Unités lexicales : Les catégories logiques ou tokens auxquelles appartiennent les lexèmes, permettant leur classification lors de l’analyse lexicale.
• Unité lexicale :
  • L'Unité lexicale (ou Token) : C'est la catégorie logique à laquelle appartient le lexème.

📝 Points essentiels

• Le lexème est l’unité concrète trouvée dans le texte source, comme Vitesse.
• L’unité lexicale (ou token) est la catégorie logique à laquelle appartient le lexème, comme identificateur.
• Les expressions régulières permettent de décrire des ensembles de chaînes correspondant aux unités lexicales.
• • Le Modèle (ou pattern) : C'est la règle stricte (souvent une expression régulière) qui définit comment une unité lexicale doit être formée.
• C'est ici qu'interviennent trois concepts clés :
  • Le Lexème (ou string) : C'est l'unité concrète trouvée dans le texte.

💡 À retenir

Le lexème est l’unité concrète trouvée dans le texte source, comme Vitesse.

📖 5. Reconnaissance des unités lexicales avec l’outil FLEX

🔑 Notions clés & Définitions

• Unités lexicales : éléments fondamentaux du texte que l’analyseur lexical identifie et extrait, selon des règles précises. Elles correspondent à des segments du texte source qui ont une signification ou une fonction spécifique dans la structure du langage analysé.

• Unités lexicales : spécification des unités qui désignent ces segments, en précisant leur forme et leur pattern. Elles sont définies par des règles formelles permettant leur reconnaissance automatique.

• Unités lexicales : ensemble des segments du texte qui, une fois reconnus, constituent les tokens utilisés par le processus de compilation ou d’analyse syntaxique. Ces unités sont essentielles pour la traduction ou l’interprétation du texte.

📝 Points essentiels

• FLEX est un outil qui automatise la reconnaissance des unités lexicales en utilisant des spécifications formelles. Il facilite la détection automatique des tokens dans un texte source en appliquant ces règles.

• L’analyseur lexical produit par FLEX découpe le texte source en tokens selon les règles définies dans la spécification. Cette opération consiste à analyser la chaîne de caractères et à segmenter le texte en unités lexicales distinctes, correspondant à des patterns précis.

• La spécification des unités lexicales dans FLEX repose sur des expressions régulières. Ces expressions décrivent les patterns ou motifs que doivent respecter les tokens pour être reconnus. Elles permettent de définir de manière précise et flexible la forme attendue de chaque unité.

💡 À retenir

L’utilisation de FLEX permet d’automatiser la reconnaissance des unités lexicales en se basant sur des spécifications formelles, ce qui facilite la construction d’un analyseur lexical efficace pour la traduction ou la compilation.

📖 6. Rôle, méthodes et gestion des erreurs de l’analyse syntaxique

🔑 Notions clés & Définitions

• Rôle : Fonction consistant à vérifier que la structure de la phrase respecte les règles grammaticales du langage source.
• Méthodes ascendantes : Approches d’analyse syntaxique qui construisent des arbres d’analyse en partant des feuilles (unités lexicales) vers la racine.

📝 Points essentiels

• L’analyseur syntaxique vérifie que la suite d’unités lexicales respecte la grammaire du langage source.
• Les méthodes d’analyse syntaxique incluent les approches universelles (exemple : Cocke-Younger-Kasami), ascendantes et descendantes.
• La détection et la récupération des erreurs syntaxiques sont principalement effectuées durant l’analyse syntaxique.

💡 À retenir

L’analyse syntaxique est essentielle pour valider la structure du code en utilisant différentes méthodes, notamment ascendantes, et pour détecter et gérer les erreurs syntaxiques.

📖 7. Construction d’un arbre syntaxique et analyse descendante par descente récursive

🔑 Notions clés & Définitions

• Exemple d'erreur : Situation où un symbole interdit est utilisé, comme le caractère @ dans un nom de variable lorsque ce n'est pas autorisé.
• Arbre syntaxique : Structure hiérarchique représentant la construction du programme selon la grammaire, obtenue par l'analyse syntaxique.
• Analyse par descente récursive : Type d'analyse descendante où le programme de l'analyseur est étroitement lié à la grammaire, chaque non-terminal étant implémenté par une fonction récursive qui reconnaît les productions correspondantes.

📝 Points essentiels

• L’arbre syntaxique représente la structure hiérarchique du programme selon la grammaire.
• Une erreur est signalée si le symbole terminal attendu n’est pas trouvé lors de la reconnaissance.

💡 À retenir

L’arbre syntaxique représente la structure hiérarchique du programme selon la grammaire.

📊 Tableaux de Synthèse

Comparaison entre compilateur et interpréteur

Aspect	Compilateur	Interpréteur
Mode de traduction	Traduction préalable en fichier exécutable	Traduction ligne par ligne au moment de l’exécution
Vitesse d'exécution	Plus rapide	Plus lente
Fichier généré	Fichier exécutable	Pas de fichier séparé

Phases principales d’un compilateur

Phase	Objectif	Rôle
Analyse lexicale	Découper en lexèmes	Vérifier appartenance au vocabulaire
Analyse syntaxique	Vérifier la structure grammaticale	Valider la syntaxe selon la grammaire
Analyse sémantique	Vérifier la cohérence logique	Contrôler types et déclarations

⚠️ Pièges & Confusions Fréquentes

1. Confusion entre lexème et unité lexicale (token)
2. Oublier la gestion des erreurs lors de l’analyse syntaxique
3. Confondre analyse descendante et ascendante
4. Négliger la spécification précise des expressions régulières pour l’analyse lexicale
5. Mauvaise utilisation des outils comme FLEX pour la reconnaissance lexicale
6. Ignorer la construction correcte de l’arbre syntaxique
7. Confusion entre phases d’analyse et leur rôle

✅ Checklist Examen

1. Maîtriser la différence entre compilateur et interpréteur
2. Comprendre chaque phase du compilateur
3. Savoir utiliser FLEX pour l’analyse lexicale
4. Savoir construire un arbre syntaxique
5. Identifier les erreurs syntaxiques courantes
6. Différencier analyse descendante et ascendante
7. Connaître les modèles et spécifications des chaînes
8. Gérer les erreurs lors de l’analyse syntaxique
9. Différencier lexème et unité lexicale
10. Comprendre le rôle de l’analyse sémantique