Calculabilité et décidabilité : Une introduction / Jean-Michel AUTEBERT

Titre : Calculabilité et décidabilité : Une introduction Type de document : texte imprimé Auteurs : Jean-Michel AUTEBERT Editeur : Masson Année de publication : 1992 Importance : 118 p. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale : Table des matières Avant-propos Bibliographie Index Catégories : Automates cellulaires Calcul formel Décidabilité (logique mathématique) Fonctions calculables Logique symbolique et mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : Introduction Le modèle des machines RAM Le modèle des machines de Turing Thèse de Church Les problèmes indécidables Aperçu sur la complexité

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000654	511.3 AUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

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 : Automates mathématiques, Théorie des Langages algébriques Langages de programmation Langages formels Machines séquentielles, Théorie des 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 - 2 / 2) Par page : 25 50 100 200