Formation d'ingénieurs 3ème année
à Polytech'Grenoble, Filière INFO
Langage, Automate, Non-déterminisme, Grammaire Attribuée et Générative, Expression régulière,
& Correction Partielle de Programmes
  • Langages réguliers/irréguliers

  • Automates déterministes (ou non), à nombres d'états finis, à pile, d'arbres

  • Grammaires attibuées, génératives

  • Représentations équivalentes : équations d'Arden, expressions régulières, automates à états finis, grammaires de type 3

  • Application & implantation des automates

  • Preuve de correction partielle de programmes par la technique de Floyd-Hoare-Dijkstra

Fonctionnement

Chaque semaine
2 séances de 2h de cours/TD
 
Le cour présente des résultats fondamentaux sur les grandes questions de l'informatique
En fin de semestre
2 séances de 3h de TP
 
Le TP sur le traitement automatisé de données est la mise en application du cours sur les parsers qui calculent
Suivi de progression via Moodle
Chaque séance rapporte des points d'assiduité
 
Évaluation des connaissances
3 DS d'1h chacun
 
octobre : Preuve de programmes
novembre : Automates
décembre : Grammaires
Note finale
(DS1 + DS2 + DS3) / 3 + Bonus d'Assiduité
 
Responsable du site : Michaël PÉRIN