الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'théorie des langages'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette 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 Introduction à la théorie des langages de programmation / Bertrand Meyer
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur Editeur : Paris : InterÉd. Année de publication : 1992 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : XVII-451 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0416-5 Note générale : Bibliogr. p. 423-433. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : programmation théorie des langages Index. décimale : 005 Résumé : Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre. Introduction à la théorie des langages de programmation [texte imprimé] / Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur . - Paris : InterÉd., 1992 . - XVII-451 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0416-5
Bibliogr. p. 423-433. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : programmation théorie des langages Index. décimale : 005 Résumé : Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei01001 005-104.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00997 005-104.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00998 005-104.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00999 005-104.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01000 005-104.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible