|
| Titre : |
Analyse syntaxique et traduction : Outils et techniques ; Cours et exercices résolus |
| Type de document : |
texte imprimé |
| Auteurs : |
Ali Aït el- Hadj, Auteur |
| Editeur : |
Paris : Ellipses |
| Année de publication : |
2015 |
| Collection : |
Technosup (Paris), ISSN 1275-3955 |
| Importance : |
1 vol. (348 p.) |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
26 cm |
| ISBN/ISSN/EAN : |
978-2-340-00555-6 |
| Note générale : |
978-2-340-00555-6 |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Mots-clés : |
Langages de programmation : Syntaxe
Compilation (informatique)
Langages formels
Machines séquentielles, Théorie des
Expressions rationnelles |
| Index. décimale : |
005.4 Programmation informatique et des systèmes |
| Résumé : |
L'ouvrage couvre l'essentiel des connaissances théoriques et pratiques indispensables pour comprendre ce qu'il y a derrière les compilateurs et les traducteurs.
Les trois premiers chapitres sont entièrement consacrés aux techniques et outils issus de la théorie des langages, avec successivement :
un rappel nécessaire pour entrer dans l'ambiance des langages formels,
une sensibilisation à l'intérêt des automates finis et des expressions régulières,
une présentation des grammaires à contexte libre et des automates à pile, ainsi que leurs variantes : les graphes syntaxiques et les réseaux d'automates.
Tous les autres chapitres sont ensuite dédiés aux techniques d'analyse et de traduction avec successivement :
une introduction à la compilation,
l'analyse lexicale, phase initiale de tout système traducteur,
l'analyse syntaxique qui est la deuxième phase de compilation,
la phase finale du processus de compilation.
Fruit de plusieurs années d'enseignement des modules de compilation et de théorie des langages le livre est facile à lire. De nombreux exemples illustratifs sont présentés pour clarifier et compléter les définitions des nouveaux concepts introduits.
Enfin des exercices d'application sont proposés avec leurs corrigés. |
| Note de contenu : |
Sommaire
P. 1. Avant-propos
P. 3. Chapitre 1 Rappels sur les langages formels
P. 3. 1 Définitions préliminaires
P. 5. 2 Langages et grammaires
P. 18. 3 Transformations des grammaires hors contexte
P. 27. 4 Exercices
P. 33. Chapitre 2 Langages réguliers
P. 33. 1 Grammaire régulière
P. 34. 2 Automates d'états finis
P. 49. 3 Expressions régulières
P. 51. 4 Automates finis, grammaires et expressions régulières
P. 60. 5 Exercices
P. 77. Chapitre 3 Grammaires hors contexte et automates à pile
P. 77. 1 Grammaires de type 2 et leurs différentes notations
P. 83. 2 Automate à pile
P. 95. 3 Automate à pile étendu
P. 100. 4 Automate à pile fondé sur un réseau d'automates finis
P. 109. 5 Transducteur à pile
P. 114. 6 Exercices
P. 124. Chapitre 4 Introduction à la compilation
P. 124. 1 Introduction
P. 126. 2 Variantes de compilateurs
P. 128. 3 Contexte du compilateur
P. 138. 4 Regroupement des différentes phases d'un compilateur
P. 139. 5 Compilation et interprétation, quelles différences ?
P. 143. 6 Outils d'aide à la construction de compilateurs
P. 144. 7 Notions fondamentales d'analyse et de traduction
P. 156. Chapitre 5 Analyse lexicale
P. 156. 1 Introduction
P. 159. 2 Différents modes de travail d'un analyseur lexical
P. 160. 3 Unités lexicales, modèles et lexèmes
P. 161. 4 Classes de lexèmes
P. 167. 5 Technique de bufferisation
P. 169. 6 Modèles de spécification
P. 172. 7 Reconnaissance des entités lexicales
P. 192. 8 Génération automatique d'analyseurs lexicaux
P. 208. 9 Table des symboles
P. 221. 10 Traitement des erreurs lexicales
P. 223. Chapitre 6 Analyse syntaxique
P. 223. 1 Introduction
P. 226. 2 Eléments théoriques de base
P. 241. 3 Quelques méthodes d'analyse syntaxique déterministe
P. 276. 4 Traitement des erreurs syntaxiques
P. 284. 5 Table des symboles vue par l'analyse syntaxique
P. 286. 6 Exercice récapitulatif
P. 289. Chapitre 7 Traduction
P. 289. 1 Introduction
P. 290. 2 Formes intermédiaires
P. 324. 3 Génération de code machine cible
P. 335. Conclusion
P. 336. Bibliographie
P. 337. Table des figures
P. 341. Liste des tableaux
P. 344. Index
 |
| Côte titre : |
Fs/16251-16255 |
Analyse syntaxique et traduction : Outils et techniques ; Cours et exercices résolus [texte imprimé] / Ali Aït el- Hadj, Auteur . - Paris : Ellipses, 2015 . - 1 vol. (348 p.) : ill., couv. ill. en coul. ; 26 cm. - ( Technosup (Paris), ISSN 1275-3955) . ISBN : 978-2-340-00555-6 978-2-340-00555-6 Langues : Français ( fre)
| Catégories : |
Informatique
|
| Mots-clés : |
Langages de programmation : Syntaxe
Compilation (informatique)
Langages formels
Machines séquentielles, Théorie des
Expressions rationnelles |
| Index. décimale : |
005.4 Programmation informatique et des systèmes |
| Résumé : |
L'ouvrage couvre l'essentiel des connaissances théoriques et pratiques indispensables pour comprendre ce qu'il y a derrière les compilateurs et les traducteurs.
Les trois premiers chapitres sont entièrement consacrés aux techniques et outils issus de la théorie des langages, avec successivement :
un rappel nécessaire pour entrer dans l'ambiance des langages formels,
une sensibilisation à l'intérêt des automates finis et des expressions régulières,
une présentation des grammaires à contexte libre et des automates à pile, ainsi que leurs variantes : les graphes syntaxiques et les réseaux d'automates.
Tous les autres chapitres sont ensuite dédiés aux techniques d'analyse et de traduction avec successivement :
une introduction à la compilation,
l'analyse lexicale, phase initiale de tout système traducteur,
l'analyse syntaxique qui est la deuxième phase de compilation,
la phase finale du processus de compilation.
Fruit de plusieurs années d'enseignement des modules de compilation et de théorie des langages le livre est facile à lire. De nombreux exemples illustratifs sont présentés pour clarifier et compléter les définitions des nouveaux concepts introduits.
Enfin des exercices d'application sont proposés avec leurs corrigés. |
| Note de contenu : |
Sommaire
P. 1. Avant-propos
P. 3. Chapitre 1 Rappels sur les langages formels
P. 3. 1 Définitions préliminaires
P. 5. 2 Langages et grammaires
P. 18. 3 Transformations des grammaires hors contexte
P. 27. 4 Exercices
P. 33. Chapitre 2 Langages réguliers
P. 33. 1 Grammaire régulière
P. 34. 2 Automates d'états finis
P. 49. 3 Expressions régulières
P. 51. 4 Automates finis, grammaires et expressions régulières
P. 60. 5 Exercices
P. 77. Chapitre 3 Grammaires hors contexte et automates à pile
P. 77. 1 Grammaires de type 2 et leurs différentes notations
P. 83. 2 Automate à pile
P. 95. 3 Automate à pile étendu
P. 100. 4 Automate à pile fondé sur un réseau d'automates finis
P. 109. 5 Transducteur à pile
P. 114. 6 Exercices
P. 124. Chapitre 4 Introduction à la compilation
P. 124. 1 Introduction
P. 126. 2 Variantes de compilateurs
P. 128. 3 Contexte du compilateur
P. 138. 4 Regroupement des différentes phases d'un compilateur
P. 139. 5 Compilation et interprétation, quelles différences ?
P. 143. 6 Outils d'aide à la construction de compilateurs
P. 144. 7 Notions fondamentales d'analyse et de traduction
P. 156. Chapitre 5 Analyse lexicale
P. 156. 1 Introduction
P. 159. 2 Différents modes de travail d'un analyseur lexical
P. 160. 3 Unités lexicales, modèles et lexèmes
P. 161. 4 Classes de lexèmes
P. 167. 5 Technique de bufferisation
P. 169. 6 Modèles de spécification
P. 172. 7 Reconnaissance des entités lexicales
P. 192. 8 Génération automatique d'analyseurs lexicaux
P. 208. 9 Table des symboles
P. 221. 10 Traitement des erreurs lexicales
P. 223. Chapitre 6 Analyse syntaxique
P. 223. 1 Introduction
P. 226. 2 Eléments théoriques de base
P. 241. 3 Quelques méthodes d'analyse syntaxique déterministe
P. 276. 4 Traitement des erreurs syntaxiques
P. 284. 5 Table des symboles vue par l'analyse syntaxique
P. 286. 6 Exercice récapitulatif
P. 289. Chapitre 7 Traduction
P. 289. 1 Introduction
P. 290. 2 Formes intermédiaires
P. 324. 3 Génération de code machine cible
P. 335. Conclusion
P. 336. Bibliographie
P. 337. Table des figures
P. 341. Liste des tableaux
P. 344. Index
 |
| Côte titre : |
Fs/16251-16255 |
|  |
Ajouter le résultat dans votre panier Affiner la recherche
