| Titre : |
Éléments de théorie des automates |
| Type de document : |
texte imprimé |
| Auteurs : |
Jacques Sakarovitch, Auteur |
| Editeur : |
Paris : Vuibert informatique |
| Année de publication : |
2003 |
| Collection : |
Les Classiques de l'informatique, ISSN 1765-7229 |
| Importance : |
XIV-816 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
25 cm |
| ISBN/ISSN/EAN : |
2-7117-4807-3 |
| Prix : |
60 EUR |
| Note générale : |
Relié : 816 pages
ISBN-10 : 2711748073
ISBN-13 : 978-2711748075
Poids de l'article : 1.4 kg
Dimensions : 25 x 4.5 x 18 cm
Éditeur : Vuibert (29 juillet 2017)
Langue : : Français |
| Langues : |
Français (fre) |
| Mots-clés : |
machine rationalité rationalité dans les relations |
| Index. décimale : |
629.8 |
| Résumé : |
La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage
Biographie de l'auteur
Jacques Sakarovitch est directeur de recherche au CNRS. Membre du laboratoire Informatique théorique et programmation de 1973 à 1996, il a dirigé pendant huit ans l'institut Blaise Pascal, qui fut la fédération des laboratoires d'informatique du campus Jussieu. Il travaille depuis 1997 au laboratoire Traitement et communication de l'information de l'Ecole nationale supérieure des télécommunications. Ses travaux de recherche portent sur divers aspects de la théorie des automates. Depuis 1984, il en enseigne les principaux développements dans les DEA d'informatique théorique parisiens et dans des cycles de conférences à l'étranger |
| Note de contenu : |
Bibliogr. p. 791-799. Index |
Éléments de théorie des automates [texte imprimé] / Jacques Sakarovitch, Auteur . - Paris : Vuibert informatique, 2003 . - XIV-816 p. : ill., couv. ill. en coul. ; 25 cm. - ( Les Classiques de l'informatique, ISSN 1765-7229) . ISBN : 2-7117-4807-3 : 60 EUR Relié : 816 pages
ISBN-10 : 2711748073
ISBN-13 : 978-2711748075
Poids de l'article : 1.4 kg
Dimensions : 25 x 4.5 x 18 cm
Éditeur : Vuibert (29 juillet 2017)
Langue : : Français Langues : Français ( fre)
| Mots-clés : |
machine rationalité rationalité dans les relations |
| Index. décimale : |
629.8 |
| Résumé : |
La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage
Biographie de l'auteur
Jacques Sakarovitch est directeur de recherche au CNRS. Membre du laboratoire Informatique théorique et programmation de 1973 à 1996, il a dirigé pendant huit ans l'institut Blaise Pascal, qui fut la fédération des laboratoires d'informatique du campus Jussieu. Il travaille depuis 1997 au laboratoire Traitement et communication de l'information de l'Ecole nationale supérieure des télécommunications. Ses travaux de recherche portent sur divers aspects de la théorie des automates. Depuis 1984, il en enseigne les principaux développements dans les DEA d'informatique théorique parisiens et dans des cycles de conférences à l'étranger |
| Note de contenu : |
Bibliogr. p. 791-799. Index |
|  |
Affiner la recherche Interroger des sources externes
