LifLF - Langages formels

ANNEE 2022 - 2023

Progression et ressources pédagogiques
1 lundi 05/09/22 9h45-11h15 CM0 [Introduction]
CM1 [Rappels maths]
mardi 06/09/22 14h-15h30 CM2 [Alphabets et langages]
2 lundi 12/09/22 9h45-11h15 TD1 Ensembles et relations (sujet ci-dessous)
mardi 13/09/22 14h-15h30 CM3 [Grammaires]
3 lundi 19/09/22 9h45-11h15 TD2 Alphabets, langages, représentation finie
mardi 20/09/22 14h-15h30 CM4 [Automates à états finis]
4 lundi 26/09/22 9h45-11h15 ou 11h30-13h TP1 Prog. fonctionnelle en Coq / Gallina [sujet] [TP1.v] [TP1-corr-etu.v]
mardi 27/09/22 14h-15h30 CM5 [Déterminisation]
5 lundi 03/10/22 8h-9h30 TD3 Automates à états finis - déterminisation
mardi 04/10/22 14h-15h30 CM6 [Caractérisation]
6 lundi 10/10/22 9h45-11h15 ou 11h30-13h TP2 Automates en Coq (part. 1) [sujet] [TP2.v] [TP2-corr-etu.v]
mardi 11/10/22 14h-15h30 CM7 [Minimisation des états]
7 lundi 17/10/22 8h-9h30 TD4 Caractérisation - automate standard
mardi 18/10/22 14h-15h30 CM8 [Langages rationnels - rationalité]
8 lundi 24/10/22 9h45-11h15 ou 11h30-13h TP3 Automates en Coq (part. 2) [sujet] [TP3.v] [TP3-corr-etu.v]
mardi 25/10/22 14h-15h30 CM9 [Automates à pile - algébricité]
Vacances universitaires
9 lundi 07/11/22 8h-9h30 TD5 Lemme d’Arden - rationalité
mardi 08/11/22 14h-15h30 CM10 [Analyse ascendante]
10 lundi 14/11/22 9h45-11h15 TD6 Grammaires - analyse ascendante
11 lundi 21/11/22 9h45-11h15 ou 11h30-13h TP4 Grammaires et automates en Coq [sujet] [TP4.v]
12 lundi 28/11/22 (pas d’enseignements de langages formels cette semaine)
13 lundi 05/12/22 8h-13h TPN TP noté
mardi 06/12/22 14h-15h30 ECA Epreuve commune anonyme

Ressources complémentaires

Instructions pour les TP

  • Téléchargez le sujet (lien ci-dessus dans la progression), ouvrez-le dans CoqIDE, lisez-le et complétez-le.

On parle bien de CoqIDE, c’est-à-dire l’interface graphique permettant d’invoquer Coq. Installer Coq tout court ne vous servira pas à grand chose. Les installeurs de CoqIDE incluent Coq.

  • Si CoqIDE non disponible : JsCoq Collez le sujet du TP dans le cadre de gauche

Pour voir correctement le sujet dans votre navigateur, configurez l’encodage par défaut de votre navigateur en Unicode (UTF-8)

Pour installer CoqIDE sur votre machine :

Organisation

Responsables

Volume

  • CM : 15 heures (10 x 1h30)
  • TD : 9 heures (6 x 1h30)
  • TP : 6 heures (4 x 1h30)

Horaires

  • Tous les enseignements de LifLF (et LifLC) ont lieu dans la séquence 1 (lundi matin et mardi après-midi)
  • Globalement, les CM ont lieu le mardi après-midi de 14h à 15h30, les TD / TP le lundi matin de 8h à 9h30 et de 9h45 à 11h15 ou de 11h30 à 13h ; chaque créneau de 8h à 9h30 et de 9h45 à 11h15 ou de 11h3à à 13h est occupé soit par un TD / TP de théorie des langages, soit par un TD / TP de logique classique
  • À partir du 26 septembre 2022
    • TD de LC ou de LF de 8h à 9h30
    • TP de LC ou de LF de 9h45 à 11h15 ou de 11h30 à 13h
  • Fiez-vous à votre emploi du temps sur ADE

Intervenants

  • Sylvain Brandel (CM, TD et TP groupe A)
  • Emmanuel Coquery (TD et TP groupe B)
  • Fabien De Marchi (TD et TP groupe C)
  • Xavier Urbain (TD et TP groupe D)
  • Qi Qiu (TD et TP groupe E, début du semestre)
  • Mohand-Said Hacid (TD et TP groupe E, fin du semestre)

Evaluation

  • Contrôle continu intégral :
    • TP noté lundi 5 décembre 2022 8h ou 9h45
    • ECA mardi 6 décembre 2022 14h
    • Interros en début de TD, peut-être un autre TP noté …
    • Rattrapage en juin 3033

Annales

Dernière mise à jour le Sep 8, 2023