Documents disponibles dans la collection

Théorie des langages et des automates / Jean-Michel Autebert

Public ISBD Titre : Théorie des langages et des automates Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur Editeur : Paris : Masson Année de publication : 1994 Collection : MIM-informatique théorique Importance : X-179 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 2-225-84001-6 Note générale : Paru précédemment sous le titre : Langages algébriques Langues : Français (fre) Mots-clés : É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 Index. décimale : 681.3.06 Logiciels. Software 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 Théorie des langages et des automates [texte imprimé] / Jean-Michel Autebert, Auteur . - Masson, 1994 . - X-179 p. ; 24 x 16 cm. - (MIM-informatique théorique) . ISBN : 2-225-84001-6 Paru précédemment sous le titre : Langages algébriques Langues : Français (fre) Mots-clés : É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 Index. décimale : 681.3.06 Logiciels. Software 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

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
042595	681.3.06 AUT	Papier	Bibliothèque Centrale	Informatique	Disponible