Introduction à la calculabilité / Pierre WOLPER

Titre : Introduction à la calculabilité Type de document : texte imprimé Auteurs : Pierre WOLPER Editeur : InterEditions Année de publication : 1991 Collection : IIA Importance : 268 p. ISBN/ISSN/EAN : 978-2-7296-0372-4 Note générale : Table des matières Préface Exercices Bibliographie Index Catégories : Calcul formel Fonctions calculables Langages formels Théorie des automates mathématiques Index. décimale : 005.13 Langages de programmation Résumé : Les automates finis Les grammaires régulières Automates à pile et langage hors-contexte Les machines de Turing Les fonctions récursives La non-calculabilité La complexité

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002170	005.13 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Introduction to the Theory of Computation / Michael SIPSER

Titre : Introduction to the Theory of Computation Type de document : texte imprimé Auteurs : Michael SIPSER, Auteur Mention d'édition : 3rd edition Editeur : Boston (Mass.) : Cengage learning Année de publication : 2013 Importance : 458 p. ISBN/ISSN/EAN : 978-1-133-18779-0 Note générale : Contents Prefaace to the First Edition Preface to the Second Edition Preface to the Third Edition Introduction Selected Bibliography Index Catégories : Complexité de calcul (informatique) Décidabilité (logique mathématique) Informatique:Modèles mathématiques Machines de Turing Théorie des automates mathématiques Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : AUTOMATA AND LANGUAGES Regular Langugages Context-Free Languages COMPUTABILITY THEORY The Church-Turing Thesis Decidability Reducibility Advanced Topics in Computability Theory COMPLEXITY THEORY Time Complexity Space Complexity Intractability Advanced Topics in Complexity Theory

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00011504	511.3 SIP	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Sorti jusqu'au 15/05/2028

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 : Masson Année de publication : 1994 Collection : Manuels informatiques Masson Importance : 179 p. ISBN/ISSN/EAN : 978-2-225-84001-2 Note générale : Table des matières Avant-propos Problèmes Index Contents Catégories : Langages algébriques Langages de programmation Langages formels Machines séquentielles, Théorie des Théorie des automates mathématiques Index. décimale : 629.8 Technique de la commande automatique Résumé : Le cadre formel Les langages rationnels Les langages algébriques Les autres classes de lahiérarchie de Chomsky

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001530	629.8 AUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

---

1 (1 - 3 / 3) Par page : 25 50 100 200