Licence 2016-2017: Logique Classique (LC) et Langages Formels (LF)
Je suis cet année chargé de TD pour le groupe C.
page de LIFLC
(Emmanuel Coquery)
page de LIFLF
(Sylvain Brandel)
Ressources complémentaires
Cours de C++
(
code source
).
Notes complémentaire
sur la déterminisation et le passage d'automate à expression rationnelle.
CC1 2015-2016 LIFLC corrigé
CC2 2015-2016 LIFLC corrigé