introduction cours thl Théorie des langages Introduction Théorie des langages N CIntroduction Organisation du cours Cours A mercredi h- h TDs Groupes G G Horaire Dimanche h- h Dimanche h - h Salle S S Théorie des langages N CIntroduction Mode d ? évaluati
Théorie des langages Introduction Théorie des langages N CIntroduction Organisation du cours Cours A mercredi h- h TDs Groupes G G Horaire Dimanche h- h Dimanche h - h Salle S S Théorie des langages N CIntroduction Mode d ? évaluation Contrôle continu Contrôle continu épreuve écrite de h Examen E épreuve écrite de h Session Session Rattrappage Théorie des langages N CIntroduction Motivations Concept de langage formel Créé par les linguistes pour décrire les langages naturels ? E ?ectuer des traductions automatiques Noam CHOMSKY modèle mathématique pour les grammaires langage ALGOL décrit à l ? aide d ? une grammaire ??Hors-Contexte ? Pourquoi étudier les langages formels Conception de langages syntaxe grammaire Analyse Lexicale déterminer les entités syntaxiques Syntaxique véri ?er la syntaxe Compilation traduction Générateurs d ? analyseurs lexicaux Méta- compilateurs compilateurs de compilateurs ou générateur de compilateurs ?? Nécessaire pour l ? étude des langages de programmation Théorie des langages N CIntroduction Un compilateur c ? est quoi Un compilateur est un programme qui prend en entrée une donnée textuelle source programme donnée xml ?chier de con ?guration etc la reconna? t l ? analyse pour véri ?er sa correction émet éventuellement un message d ? erreur le traduit dans un langage cible programme source Compilateur programme cible messages d ? erreur Théorie des langages N CIntroduction Outils pour la compilation Correction Entrée invalide détectée Sortie conforme aux attentes ?? Outil de prédilection théorie des langages E ?cacité Faut-il attennnnnnndre le résultat de la compilation ?? Outil de prédilection algorithmique Bonne conception du logiciel Logiciel facile à modi ?er étendre ?? Outil de prédilection génie logiciel Théorie des langages N CIntroduction A quoi sert la théorie des langages en compilation Permet de dé ?nir rigoureusement et reconna? tre algorithmiquement pour les langages source et cible leur vocabulaire ou lexique les mots autorisés ?? analyse lexicale ?? automates à nombre ?ni d ? états expressions régulières leur syntaxe la structure des phrases autorisées ?? analyse syntaxique ?? automates à pile grammaires algébriques leur sémantique la signi ?cation des phrases autorisées ?? analyse sémantique ?? grammaires attribuées Théorie des langages N CIntroduction Plan du cours Alphabets et langages Grammaires Automates ?nis Expressions régulières Grammaires Hors-Contexte Automates à pile Analyse lexicale Analyse syntaxique Théorie des langages C
Documents similaires
-
23
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Jul 12, 2022
- Catégorie Philosophy / Philo...
- Langue French
- Taille du fichier 25.5kB