Automates et Grammaire

Diplômes intégrant cet élément pédagogique :

Descriptif

L'enseignement "AUTOMATES et GRAMMAIRES" comporte 4 volets :
 1. La présentation de résultats fondamentaux de l'informatique : une technique de preuve de correction de programmes, différents modèles de calculs (séquentiel, parallèle, non-déterministe), la manipulation en temps fini de données infinies.
 2. L'illustration des ces notions dans le cas des automates
 3. L'utilisation en projet de ces notions : en 2012 il s'agissait de réaliser le mini OS d'un téléphone portable multi-processus capable de jouer des MP3 pendant une conversation téléphonique et de permettre la conversation à plusieurs interlocuteurs
 4. La présentation d'un résultat surprenant : les automates d'arbres, l'ordinateur quantique, les limites de l'informatique, ...

COMPÉTENCES VISÉES
- savoir prouver qu'un programme est correct
- savoir programmer à l'aide d'automate
- savoir écrire un analyseur/traducteur simple

Pré-requis

Connaître les rudiments d'un langage impératif tel que C

Bibliographie

Introduction à la calculabilité, Pierre Wolper, Éditions Dunod (3eme édition, 2006)

site web A&G : http://www-verimag.imag.fr/~perin/enseignement/RICM3/infaeg/

Informations complémentaires

Lieu(x) : Grenoble - Saint-Martin d'Hères
Langue(s) : Français