Tiêu đề °COURS compilation SMI5 FSR RABAT 20 21.pdf ✅

COMPILATION Mohamed BOUHDADI & Faissal OUARDI Théorie des langages et COMPILATION des langages de programmations impératifs Syntaxe & Sémantique de traduction des langages de programmation impératifs
Introduction et vue d’ensemble
Compilateur Programme dans un langage source Programme équivalent dans un langage cible ( ou exécutable) Erreurs Fonction et Spécification d’un compilateur 1- Vérifier si le programme source ∊ au langage source : ANALYSE - ANALYSEUR 2- Traduire un programme bien formé en son programme équivalent dans un langage cible (exécutable) : SYNTHÈSE ou TRADUCTION ; SYNTHÉTISEUR - TRADUCTEUR
1- Comment spécifier le langage source ? Théorie des langages (trois type de langages) 2- Comment spécifier le langage cible ? 3- Comment vérifier l’appartenance d’une chaîne de caractères au langage source ? Théorie des automates : (Trois sous-fonctions ) 4- Comment traduire ou synthétiser une chaîne de caractères (un programme) bien formée en son équivalent (unique) dans le langage cible. (Trois sous fonctions ) SPÉCIFICATION d’un COMPILATEUR :