الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'auteur
Auteur Jean-Michel Autebert |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Théorie des langages et des automates / Jean-Michel Autebert
Titre : Théorie des langages et des automates Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Editeur : Paris : Milan Année de publication : DL 1994 Autre Editeur : Barcelone Collection : Manuels informatiques Masson, ISSN 0249-6992. Importance : 1 vol. (X-179 p.) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-84001-2 Langues : Français (fre) Mots-clés : Théorie des langages Index. décimale : 004 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. Théorie des langages et des automates [texte imprimé] / Jean-Michel Autebert, . - Paris : Milan : [S.l.] : Barcelone, DL 1994 . - 1 vol. (X-179 p.) : ill. ; 24 cm.. - (Manuels informatiques Masson, ISSN 0249-6992.) .
ISBN : 978-2-225-84001-2
Langues : Français (fre)
Mots-clés : Théorie des langages Index. décimale : 004 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. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00131 004-37.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01122 004-37.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Transductions rationnelles / Jean-Michel Autebert
Titre : Transductions rationnelles : application aux langages algebriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, ; Luc Boasson, Editeur : Paris : Masson Année de publication : 1988 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 1 vol. (133 p.) Format : 25x16 cm. ISBN/ISSN/EAN : 2-225-81504-6 Langues : Français (fre) Mots-clés : Transductions rationnelles cone rationnel Les langages algébriques Index. décimale : 512 Résumé : Transductions rationnelles Transductions rationnelles : application aux langages algebriques [texte imprimé] / Jean-Michel Autebert, ; Luc Boasson, . - Paris : Masson, 1988 . - 1 vol. (133 p.) ; 25x16 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 2-225-81504-6
Langues : Français (fre)
Mots-clés : Transductions rationnelles cone rationnel Les langages algébriques Index. décimale : 512 Résumé : Transductions rationnelles Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei01194 512-72.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei01195 512-72.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei01196 512-72.3 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible