Éléments de théorie des automates / Jacques, Sakarovitch [ Livre]

Auteur principal: Sakarovitch, JacquesLangue: Français ; de l'oeuvre originale, Français.Publication : Paris : Vuibert, 2003Description : XIV-816 p. ; 25 cmISBN: 2711748073.Collection: (Les) classiques de l'informatiqueClassification: F 4 Langages formels, automates et calculabilitéRésumé: La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Cet ouvrage donne des preuves complètes et met 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 les automates avec multiplicité et les automates avec sortie (transducteurs). 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. Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage. Sommaire LES TROIS STADES DE LA RATIONALITE La machine la plus simple Puissance de l'algèbre Pertinence de l'énumération LA RATIONALITE DANS LES RELATIONS Richesse des transducteurs Simplicité des transducteurs fonctionnels. .Sujet - Nom commun: Machines séquentielles, Théorie des | Langages formels | Automates programmables -- Problèmes et exercices | Automates mathématiques, Théorie des -- Problèmes et exercices | Algorithmes
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 SAK (Browse shelf) Exclu du prêt F 4 Langages formels, automates et calculabilité 00010870
ENS Rennes - Bibliothèque
Informatique
F 4 SAK (Browse shelf) Available F 4 Langages formels, automates et calculabilité 000108701

Bibliogr. p. 791-799. Index

La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Cet ouvrage donne des preuves complètes et met 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 les automates avec multiplicité et les automates avec sortie (transducteurs). 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. Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage.

Sommaire
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnels.

Powered by Koha