| Titre : | Théorie des langages et des automates |
| Auteurs : | Jean-Michel Autebert, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Masson, 1994 |
| Collection : | MIM-informatique théorique |
| ISBN/ISSN/EAN : | 2-225-84001-6 |
| Format : | X-179 p. / 24 x 16 cm |
| Note générale : | Paru précédemment sous le titre : Langages algébriques |
| Langues : | Français |
| Index. décimale : | 681.3.06 (Logiciels. Software) |
| Tags : | Équations aux différences -- Analyse numérique Singularités (mathématiques) Analyse numérique Éléments finis, Méthode des Équations aux dérivées partielles -- Solutions numériques |
| Résumé : | La théorie des langages formels est née d'une tentative de modélisation des langues naturelles. Son adéquation à la description des langages de programmation a entraîné son développement très rapide. La théorie des langages est extrêmement utilisée dans de nombreux domaines informatiques, dont elle constitue l'un des fondements. A ce titre, elle est enseignée dans la plupart des grandes écoles et des universités. Cet ouvrage, destiné aux étudiants de licence et de maîtrise en informatique, en présente les principaux concepts. La première partie est consacrée à l'élaboration du cadre général dans lequel se situe la théorie des langages. L'auteur y aborde la notion de monoïde libre, conduisant à la théorie des mots, et les arbres, qui, d'une utilisation très fréquente en théorie des langages, constituent une généralisation des mots. Il introduit également les systèmes de réécritures dans le monoïde libre. La deuxième partie traite des langages rationnels et du mode de reconnaissance qui leur est associé : les automates finis. La troisième partie étudie les langages algébriques qui sont d'un intérêt particulier dans la théorie des langages. On y observera la méthode de l'école française, reconnue mondialement, qui met l'accent sur le point de vue algébrique et limite volontairement les développements sur les classes de langages définies par des automates de types particuliers. La dernière partie examine les autres classes de langages de la hiérarchie de Chomsky : les langages récursivement énumérables et les langages contextuels. Des exercices variés, de niveaux divers, jalonnent le texte afin de permettre une assimilation réelle et efficace des notions ainsi manipulées. Les problèmes, situés à la fin de l'ouvrage, conduiront le lecteur à prendre véritablement la mesure de sa compr_hension du cours. |
| Note de contenu : |
Table des matières
0. Préliminaires mathématiques I. LE CADRE FORMEL 1. Le monoïde libre 2. Les arbres 3. Systèmes de réécriture II. LES LANGAGES RATIONNELS 4. Langages reconnaissables 5. Langages rationnels 6. Automate minimal III. LES LANGAGES ALGEBRIQUES 7. Grammaires algébriques et dérivations 8. Formes normales et propriétés constructives 9. Langages algébriques 10. Automates à pile 11. Langages déterministes et aperçu sur l'analyse syntaxique IV. LES AUTRES CLASSES DE LA HIERARCHIE DE CHOMSKY 12. Langages récursivement énumérables et langages récursifs 13. Langages contextuels |
| ISBN 13 : | 978-2225840012 |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3.06 AUT | Papier | Bibliothèque Centrale | Informatique | Disponible |
