| Titre : |
Le langage des machines : introduction à la calculabilité et aux langages formels |
| Type de document : |
texte imprimé |
| Auteurs : |
Richard Beigel, Auteur ; Robert W. Floyd ; Daniel Krob, Traducteur |
| Editeur : |
Paris : International Thomson publ. France |
| Année de publication : |
1995 |
| Importance : |
XVII-594 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
2-84180-010-5 |
| Note générale : |
Index |
| Langues : |
Français (fre) Langues originales : Anglais (eng) |
| Mots-clés : |
Automates.
Automates mathématiques, Théorie des.
Machines séquentielles, Théorie des.
Complexité de calcul (informatique).
Langages formels.
Fonctions calculables. |
| Index. décimale : |
681.3.066 Systemes opérationnels. Programme : moniteurs. Superviseur. |
| Résumé : |
Dans cet ouvrage de réference, les auterus proposent une redéfinition des bases classiques de l'enseignement de la théorie des langages formels et de celles de la calculabilité. Ils y définissent un modèle simple et unifié de machine qui leur permet de rendre compte de tous les modèles de calculabilité existants (automates finis, automates à piles, machines de Turing, machine RAM....). Ce modèle s'inspire largement de la réalité du monde des ordinateurs, permettant ainsi de pénétrer bien plus facilement dans celui de l'informatique théorique.
Cet ouvrage compte désormais parmi les rares textes en français traitant à la fois des machines de Turing, de la théorie de la récursion et des problèmes de complexité. Outre les nombreux résultats que l'on s' attend naturellement à trouver sur ces thèmes, les auteurs abordent également des sujets originaux, présentés de manière simple et élégante, tels l'indécidabilité de la résolution des équations diophantiennes exponentielles ou la NP-complétude de la non-équivalence des expressions rationnelles.
Tous les exemples fournis sont étudiés en profondeur, complétés par des preuves mathématiques et illustrés par de nombreux exercices, dont le niveau de difficulté est progressif. |
| Note de contenu : |
Sommaire
0. Préliminaires mathématiques1. Introduction aux machines
2. Mécanismes, machines et programmes3. Simulation
4. Automates finis et langages rationnels5. Langages algébriques6. Automates à pile et machines à compteur
7. Calculabilité8. Théorie de la récursivité
9. Complexité10. Appendice |
| ISBN 13 : |
97828418001006 |
Le langage des machines : introduction à la calculabilité et aux langages formels [texte imprimé] / Richard Beigel, Auteur ; Robert W. Floyd ; Daniel Krob, Traducteur . - Paris : International Thomson publ. France, 1995 . - XVII-594 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 2-84180-010-5 Index Langues : Français ( fre) Langues originales : Anglais ( eng)
| Mots-clés : |
Automates.
Automates mathématiques, Théorie des.
Machines séquentielles, Théorie des.
Complexité de calcul (informatique).
Langages formels.
Fonctions calculables. |
| Index. décimale : |
681.3.066 Systemes opérationnels. Programme : moniteurs. Superviseur. |
| Résumé : |
Dans cet ouvrage de réference, les auterus proposent une redéfinition des bases classiques de l'enseignement de la théorie des langages formels et de celles de la calculabilité. Ils y définissent un modèle simple et unifié de machine qui leur permet de rendre compte de tous les modèles de calculabilité existants (automates finis, automates à piles, machines de Turing, machine RAM....). Ce modèle s'inspire largement de la réalité du monde des ordinateurs, permettant ainsi de pénétrer bien plus facilement dans celui de l'informatique théorique.
Cet ouvrage compte désormais parmi les rares textes en français traitant à la fois des machines de Turing, de la théorie de la récursion et des problèmes de complexité. Outre les nombreux résultats que l'on s' attend naturellement à trouver sur ces thèmes, les auteurs abordent également des sujets originaux, présentés de manière simple et élégante, tels l'indécidabilité de la résolution des équations diophantiennes exponentielles ou la NP-complétude de la non-équivalence des expressions rationnelles.
Tous les exemples fournis sont étudiés en profondeur, complétés par des preuves mathématiques et illustrés par de nombreux exercices, dont le niveau de difficulté est progressif. |
| Note de contenu : |
Sommaire
0. Préliminaires mathématiques1. Introduction aux machines
2. Mécanismes, machines et programmes3. Simulation
4. Automates finis et langages rationnels5. Langages algébriques6. Automates à pile et machines à compteur
7. Calculabilité8. Théorie de la récursivité
9. Complexité10. Appendice |
| ISBN 13 : |
97828418001006 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
