LifLF - Théorie des langages formels

ANNEE 2019 - 2020

Progression


  • 10/09/19 CM0 - Introduction, CM1 - Rappels maths, CM2 - Alphabets et langages
  • 16/09/19 TD1 - Rappels mathématiques, alphabets et langages
  • 17/09/19 CM3 - Automates à états finis
  • 23/09/19 TD2 - Automates à états finis déterministes
  • 24/09/19 CM4 - Déterminisation
  • 30/09/19 TD3 - Non déterminisme et déterminisation, TP1 TP1_correction - prog. fonctionnelle en Coq / Gallina
  • 01/10/19 CM5 - Caractérisation
  • 08/10/19 CM6 - Minimisation
  • 14/10/19 TD4 - Caractérisation et automate standard, TP2 TP2_correction - automates en Coq (part. 1)
  • 15/10/19 CM7 - Langages rationnels - rationalité
  • 22/10/19 CM8 - Grammaires
  • 04/11/19 TD5 - Lemme d'Arden, rationalité, TP3 TP3_correction - automates en Coq (part. 2)
  • 05/11/19 CM9 - Automates à pile, algébricité
  • 19/11/19 CM10 - Analyse syntaxique
  • 25/11/19 TD6 - Grammaires, TP4 TP4_correction - Grammaires et automates en Coq
  • 10/12/19 Épreuve commune anonyme

Si CoqIDE non disponible :

  • CoqIDE en ligne Collez le sujet du TP à la place de ce qu'il y a dans le cadre de gauche

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 ; chaque créneau de 8h à 9h30 et de 9h45 à 11h15 est occupé soit par un TD / TP de théorie des langages, soit par un TD / TP de logique classique
  • À partir du 30 septembre
    • Semaines “paires” : TD de LF de 8h à 9h30, puis TP de LF de 9h45 à 11h15
    • Semaines “impaires” : TD de LC de 8h à 9h30, puis TP de LC de 9h45 à 11h15

Intervenants

  • CM : Sylvain Brandel
  • TD et TP : Sylvain Brandel (groupe A), Emmanuel Coquery (groupe B), Romuald Thion (groupe C), Xavier Urbain (groupe D), Nicolas Louvet (groupe E), XXXX (groupe F)

Evaluation

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

Annales

ens/liflf.txt · Dernière modification: 2019/12/08 22:21 par sbrandel
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0