Formation d'ingénieurs 3ème année
à Polytech'Grenoble, Filière RICM
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
un cours + un TD
 
Le cour présente des résultats fondamentaux sur les grandes questions de l'informatique : le pouvoir d'expression des langages, le non-déterminisme, la sémantique et la correction des programmes.
+ un projet en binôme
 
Le projet est la mise en application de notions du cours pour résoudre un problème épineux.
Évaluation du projet en fin de semestre
rendre un rapport et une implantation
 
Évaluation des connaissances
durée 2h00, sans document
 
novembre : Devoir surveillé
janvier : Examen
aout : Seconde session
Note finale
(DS + Projet + 4 Examen) / 6
 
Responsable du site : Michaël PÉRIN