La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Sont traités en particulier les automates avec multiplicité et les automates avec sortie (transducteurs). ©Electre 2025
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.
Paru le : 22/09/2003
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Jacques Sakarovitch
Éditeur(s) :
Vuibert informatique
Collection(s) : Les classiques de l'informatique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782711748075
Reliure : Broché
Pages : XIV-816
Hauteur: 25.0 cm / Largeur 18.0 cm
Épaisseur: 4.7 cm
Poids: 1406 g
Carte fidélité
Mollat Radio
