Nantilus
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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés / Patrice Séébold |
| Publié : |
Paris :
Ellipses
, DL 2020 |
| Description matérielle : | 1 vol. (IX-400 p.) |
| Collection : | Références sciences |
| Sujets : |
| LEADER | 02711cam a2200493 4500 | ||
|---|---|---|---|
| 001 | PPN242917402 | ||
| 003 | http://www.sudoc.fr/242917402 | ||
| 005 | 20240604055500.0 | ||
| 010 | |a 978-2-3400-3668-0 |b br. |d 39 EUR | ||
| 035 | |a (OCoLC)1152111479 | ||
| 073 | 1 | |a 9782340036680 | |
| 100 | |a 20200311h20202020k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a y a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdamedia | |
| 200 | 1 | |a Fondamentaux de la théorie des automates |e de l'intuition aux méthodes formelles en 400 exercices corrigés |f Patrice Séébold | |
| 214 | 0 | |a Paris |c Ellipses |d DL 2020 | |
| 215 | |a 1 vol. (IX-400 p.) |c couv. ill. en coul. |d 24 cm | ||
| 225 | 2 | |a Références sciences | |
| 339 | |a 401 exercices ou problèmes accompagnés de leurs corrigés et de rappels de cours. ©Electre 2020 | ||
| 320 | |a Bibliogr. p. [397]. Index | ||
| 330 | |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. [...]" [Source : 4e de couverture] | ||
| 333 | |a Classes préparatoires, licence, master, agrégation | ||
| 359 | 2 | |b 1. Notions de mots et de langages |b 2. Automates finis et langages reconnus |b 3. Langages reconnaissables |b 4. Déterminisme |b 5. Minimalité |b 6. Langages non reconnaissables |b 7. Compléments |b 8. Problèmes | |
| 410 | | | |0 165256990 |t Références sciences |x 2260-8044 | |
| 606 | |3 PPN02733015X |a Théorie des automates mathématiques |2 rameau | ||
| 606 | |3 PPN050702858 |a Méthodes formelles (informatique) |2 rameau | ||
| 606 | |3 PPN028625056 |a Programmation |2 rameau | ||
| 608 | |3 PPN03020934X |a Manuels d'enseignement supérieur |2 rameau | ||
| 608 | |3 PPN027790517 |a Problèmes et exercices |2 rameau | ||
| 700 | 1 | |3 PPN050691791 |a Séébold |b Patrice |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20200207 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210526 |g AFNOR | |
| 979 | |a SCI | ||
| 979 | |a ECN | ||
| 930 | |5 441092104:66973750X |b 441092104 |j u | ||
| 930 | |5 441092306:703888900 |b 441092306 |a 681.3 B09 SEE |j u | ||
| 998 | |a 866016 | ||