LifLF - Théorie des langages formels

ANNEE 2020 - 2021

ATTENTION à partir du 2/11/2020, tous les enseignements sont à distance exclusivement.

Calendrier présentiel - distanciel

  • Semaine 1 du 07/09/20 : BLEUS en présentiel
  • Semaine 2 du 14/09/20 : JAUNES en présentiel
  • Semaine 3 du 21/09/20 : BLEUS en présentiel
  • Semaine 4 du 28/09/20 : JAUNES en présentiel
  • Semaine 5 du 05/10/20 : BLEUS en présentiel
  • Semaine 6 du 12/10/20 : JAUNES en présentiel
  • Semaine 7 du 19/10/20 : BLEUS en présentiel
  • Semaine du 26/10/20 : pas d'enseignements en licence
  • Semaine 8 du 02/11/20 : tout le monde en distanciel
  • Semaine 9 du 09/11/20 : tout le monde en distanciel
  • Semaine 10 du 16/11/20 : tout le monde en distanciel
  • Semaine 11 du 23/11/20 : tout le monde en distanciel
  • Semaine 12 du 30/11/20 : tout le monde en distanciel
  • Semaine 13 du 07/12/20 : TP noté en distanciel, ECA en présentiel

Salons pour les enseignements en distanciel - valables aussi en logique classique

Important Si lors d'un TD ou TP le salon de votre enseignant n'est pas disponible, connectez-vous sur le salon de TD/TP de Sylvain Brandel.


Progression et ressources pédagogiques

S107/09/20CM 1h30CM0 - Introduction, CM1 - Rappels maths
08/09/20CM 1h30CM2 - Alphabets et langages
S214/09/20 TD 1h30TD1 - Rappels mathématiques - alphabets et langages
15/09/20CM 1h30CM3 - Automates à états finis
S321/09/20 TD 1h30TD2 - Automates
22/09/20CM 1h30CM4 - Déterminisation
S428/09/20 TP 1h30TP1 TP1_correction - Prog. fonctionnelle en Coq / Gallina
29/09/20CM 1h30CM5 - Caractérisation
S505/10/20 TD 1h30TD3 - Déterminisation
06/10/20CM 1h30CM6 - Minimisation des états
S612/10/20 TP 1h30TP2 TP2_correction - Automates en Coq (part. 1)
13/10/20CM 1h30CM7 - Langages rationnels - rationalité
S719/10/20 TD 1h30TD4 - Caractérisation - automate standard
20/10/20CM 1h30CM8 - Grammaires
Vacances universitaires
S802/11/20 TP 1h30TP3 TP3_correction - Automates en Coq (part. 2)
03/11/20CM 1h30CM9 - Automates à pile - algébricité
S909/11/20 TD 1h30TD5 - Lemme d'Arden - rationalité
10/11/20CM 1h30CM10 - Analyse syntaxique
S1016/11/20 TP 1h30TP4 TP4_correction - Grammaires et automates en Coq
S1123/11/20 TD 1h30TD6 - Grammaires
S1230/11/20 (pas d'enseignements de langages formels cette semaine)
S1307/12/20 TPN3hTP noté
08/12/20ÉCA 1h30Épreuve commune anonyme
S1414/12/20

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 :

brew cask install coqide

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 28 septembre
    • Semaines paires : TD de LC de 8h à 9h30, puis TP de LF de 9h45 à 11h15 ou de 11h30 à 13h
    • Semaines impaires : TD de LF de 8h à 9h30, puis TP de LC de 9h45 à 11h15 ou de 11h30 à 13h

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), Mohand-Said Hacid (groupe F)

Evaluation

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

Annales

ens/liflf.txt · Dernière modification: 2020/12/07 11:46 de 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