Rayon Informatique, TIC
Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés : classes préparatoires, licence, master, agrégation

Fiche technique

Format : Broché
Nb de pages : IX-400 pages
Poids : 782 g
Dimensions : 19cm X 24cm
ISBN : 978-2-340-03668-0
EAN : 9782340036680

Fondamentaux de la théorie des automates

de l'intuition aux méthodes formelles en 400 exercices corrigés
classes préparatoires, licence, master, agrégation


Collection(s) | Références sciences
Paru le
Broché IX-400 pages

Quatrième de couverture

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 adéquation avec la nature des objets étudiés. À cette fin, des techniques de résolution intuitives accompagnent systématiquement la mise en oeuvre d'algorithmes rigoureusement prouvés.

Cet ouvrage s'adresse prioritairement aux étudiants et aux enseignants de licences et de masters 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.

Biographie

Patrice Séébold, professeur d'informatique à l'Université Paul-Valéry Montpellier 3, a créé et dirigé le Laboratoire de recherche en informatique d'Amiens. Il enseigne la théorie des langages depuis 1990 à Paris 7, puis à Amiens.

Avis des lecteurs

Du même auteur : Patrice Séébold

Théorie des automates : cours et exercices