LifLF - Langages formels

ANNEE 2021 - 2022

Progression et ressources pédagogiques
S1 lundi 06/09/21 9h45-11h15 CM CM0 Introduction - CM1 Rappels maths
mardi 07/09/21 14h-15h30 CM CM2 Alphabets et langages
S2 lundi 13/09/21 9h45-11h15 TD TD1 Ensembles et relations
lundi 13/09/21 11h30-13h TD TD2 Alphabets, langages, représentation finie
mardi 14/09/21 14h-15h30 CM CM3 Grammaires
S3 lundi 20/09/21 9h45-11h15 ou 11h30-13h TP TP1 TP1_corr Prog. fonctionnelle en Coq / Gallina
mardi 21/09/21 14h-15h30 CM CM4 Automates à états finis
S4 lundi 27/09/21 9h45-11h15 ou 11h30-13h TP TP2 TP2_corr Automates en Coq (part. 1)
mardi 28/09/21 14h-15h30 CM CM5 Déterminisation
S5 lundi 04/10/21 8h-9h30 TD TD3 Automates à états finis - déterminisation
mardi 05/10/21 14h-15h30 CM CM6 Caractérisation
S6 lundi 11/10/21 9h45-11h15 ou 11h30-13h TP TP3 TP3_corr Automates en Coq (part. 2)
mardi 12/10/21 14h-15h30 CM CM7 Minimisation des états
S7 lundi 18/10/21 8h-9h30 TD TD4 Caractérisation - automate standard
mardi 19/10/21 14h-15h30 CM CM8 Langages rationnels - rationalité
Vacances universitaires
S8 lundi 01/11/21     (lundi férié)
mardi 02/11/21 14h-15h30 CM CM9 Automates à pile - algébricité
S9 lundi 08/11/21 8h-9h30 TD TD5 Lemme d’Arden - rationalité
mardi 09/11/21 14h-15h30 CM CM10 Analyse syntaxique
S10 lundi 15/11/21 9h45-11h15 ou 11h30-13h TP TP4 TP4_corr Grammaires et automates en Coq
S11 lundi 22/11/21 8h-9h30 TD TD6 Grammaires - analyse ascendante
S12 lundi 29/11/21 (pas d’enseignements de langages formels cette semaine)
S13 lundi 06/12/21 8h-11h15 TPN TP noté
mardi 07/12/21 8h-9h30 ÉCA Épreuve commune anonyme
S14 lundi 13/12/21

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 20 septembre
    • 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)
  • Mohand-Said Hacid (TD groupe E)
  • Agathe Herrou (TP groupe E1)
  • Qi Qiu (TP groupe E2)

Evaluation

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

Annales

Dernière mise à jour le Sep 8, 2023