Enseignement de 36h sur 12 semaines : 2h de cours 1 semaine sur 2 + 2h de travaux dirigés hebdomadaires.
Cours : Sandrine Julia
Travaux Dirigés : Enrico Formenti, Sandrine Julia
Contacts : prénom.nom@unice.fr
Objectifs : Cette partie débute l'étude classique de la théorie des langages formels en suivant la hiérarchie de Chomsky (langages réguliers, contextuels, non-contextuels, théorème de Kleene, lemme de l'étoile, etc.), des automates (fini, à pile, machine de Moore, machine de Turing, etc.) et du système de réécriture puissant que constituent les grammaires. Chaque notion est illustrée par une ou plusieurs applications empruntées aux domaines de la reconnaissance de motifs, la compression, la spécification des langages de programmation, la compilation, la calculabilité, l'électronique. D'autres applications (systèmes dynamiques discrets, codes auto-correcteurs, décodage du génôme, linguistique) y sont évoquées.
Evaluation :
Session 1 : contrôle continu écrit début novembre (1h30) et
examen écrit fin décembre (2h), note globale = 1/3 note c.c. + 2/3 note examen
Session 2 : examen écrit en janvier (2h), note globale : note
examen janvier
Voir les Cours, Travaux Dirigés, Annales
Enseignement sur 12 semaines : 2h de cours une semaine et 2h de travaux pratiques l'autre semaine, en alternance (donc 6 cours et 6 TP).
Cours [vendredi 10h15-12h15] : JP. Roy
Travaux Pratiques [vendredi 13h-15h et 15h15-17h15, salles 312-313] : Julien Charles,
Florian Loitsch, Jean-Paul Roy
Objectifs : Après quelques rafraîchissements et compléments sur les aspects impératifs de Scheme, on aborde la gestion des erreurs et la couche objet de DrScheme. L'accent est vite mis sur les problèmes d'implémentation d'un interprète d'un langage à la fois fonctionnel et impératif (mini Scheme). Le problème de la couche syntaxique est traité avec les outils LeX et Yacc. Les continuations sont étudiées, à la fois via le style CPS et avec call/cc. Dans un dernier temps, on étudie le style de programmation dit paresseux, par flots de données.
Evaluation :
Session 1 : projet par trinôme à rendre fin novembre et examen écrit (2h) fin décembre, note globale = 50% note projet + 50% note examen.
Session 2 : examen écrit en janvier (2h), note globale = 100% note examen de janvier.
Voir la page Web associée.