Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés
"Cet ouvrage est dédié à la partie de la théorie des langages formels qui concerne les automates finis. Il regroupe 401 exercices ou problèmes avec leurs corrections détaillées, ainsi que des rappels de cours étoffés. L'accent est mis sur la compréhension des méthodes de résolution et leur...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Livre papier |
| Γλώσσα: | Français |
| Έκδοση: |
Paris :
Ellipses
DL 2020.
|
| Σειρά: | Références sciences
|
| Θέματα: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02540nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 830218 | ||
| 008 | 200311t20202020xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN242917402 | ||
| 020 | |a 9782340036680 (broché) | ||
| 024 | |a 9782340036680 | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a Séébold, Patrice, |d 19..- | |
| 245 | 1 | 0 | |a Fondamentaux de la théorie des automates : |b de l'intuition aux méthodes formelles en 400 exercices corrigés |c Patrice Séébold. |
| 260 | |a Paris : |b Ellipses, |c DL 2020. | ||
| 300 | |a 1 volume (IX-400 pages) : |b couverture illustrée en couleurs ; |c 24 cm. | ||
| 490 | 1 | |a Références sciences | |
| 504 | |a Bibliogr. p. [397]. Index | ||
| 505 | 0 | |a 1. Notions de mots et de langages -- 2. Automates finis et langages reconnus -- 3. Langages reconnaissables -- 4. Déterminisme -- 5. Minimalité -- 6. Langages non reconnaissables -- 7. Compléments -- 8. Problèmes | |
| 520 | |a "Cet ouvrage est dédié à la partie de la théorie des langages formels qui concerne les automates finis. Il regroupe 401 exercices ou problèmes avec leurs corrections détaillées, ainsi que des rappels de cours étoffés. L'accent est mis sur la compréhension des méthodes de résolution et leur adéquation avec la nature des objets étudiés. À cette fin, des techniques de résolution intuitives accompagnent systématiquement la mise en œuvre d'algorithmes rigoureusement prouvés. Cet ouvrage s'adresse prioritairement aux étudiants et aux enseignants de licence et de master universitaires d'informatique, aux élèves des classes préparatoires et aux agrégatifs.Il est organisé, selon un découpage classique du domaine, en sept chapitres (Notions de mots et de langages, Automates finis et langages reconnus, Langages reconnaissables, Déterminisme, Minimalité, Langages non reconnaissables, Compléments) accompagnés d'un huitième chapitre regroupant plusieurs problèmes, et d'un index." | ||
| 521 | |a Classes préparatoires, licence, master, agrégation | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Théorie des machines séquentielles | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Algorithmes | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 650 | |a Problèmes et exercices | ||
| 997 | |0 830218 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 511.3 SEE |z Orléans, BU Sciences, Technologies, STAPS, 511.3 SEE |z Orléans, BU Sciences, Technologies, STAPS, 511.3 SEE |z Orléans, BU Sciences, Technologies, STAPS, 511.3 SEE | ||