Théorie des Langages, L3 Informatique

Université de Strasbourg

Contrôles terminaux

• Janvier 2009 (Pascal Mathis).
• Juin 2009 (Pascal Mathis).
• Décembre 2009 (Pascal Mathis).
• Mai 2010 (Christian Ronse).
• Janvier 2011 (Mohamed Tajine).
• Mai 2011 (Christian Ronse).
• Décembre 2011 (Mohamed Tajine).

Calculabilité et Complexité, M1 Informatique

Université de Strasbourg

Contrôles continus (Christian Ronse)

• Novembre 2011 (1).
• Novembre 2011 (2)   -   Corrigé.
• Octobre 2012 (1).
• Novembre 2012 (2).
• Novembre 2012 (3).
• Octobre 2013 (1).
• Novembre 2013 (2).
• Décembre 2013 (3)   -   Corrigé.
• 13 Octobre 2014 (1).
• 03 Novembre 2014 (2).
• 17 Novembre 2014 (3).
• 19 Octobre 2015 (1).
• 23 Novembre 2015 (2).
• 14 Décembre 2015 (3).
• 10 Octobre 2016 (1).
• 21 Novembre 2016 (2).
• 12 Décembre 2016 (3).
• 17 Octobre 2017 (1).
• 14 Novembre 2017 (2).
• 12 Décembre 2017 (3).
• 12 Février 2019 (1).
• 12 Mars 2019 (2).
• 12 Mai 2019 (3).

Quelques supports (Christian Ronse)

• Transition de configurations dans une machine de Turing — Décision du langage des aⁿbⁿbⁿ, n naturel.
• Fonction d'Ackermann-Péter: μ-récursive, mais pas récursive primitive.
• Jeu de l'Hydre.
• Problèmes indécidables.
• Complexité: problèmes P, NP-complets et EXP.

Anciens cours

Théorie des Langages et Calculabilité (Pascal Mathis), 2005-2006

• Examen de juin 2005
• Examen de juin 2006
• TD algébricité
• TD machines de Turing
• TD grammaires et fonctions
• TD calculabilité et décidabilité
• TD complexité Corrigé

Calculabilité et Complexité (Pascal Schreck), 2007-2010

• Contrôle Continu de 2007/08
• Contrôle Terminal de juin 2008
• TD1 2007/08
• TD2 2007/08
• TD3 2007/08
• TD4 2007/08
• TD5 2007/08
• 1er Contrôle de 2010/11
• 2ème Contrôle de 2010/11
• Contrôle de rattrappage de 2010/11
• TD1 2010/11
• TD2 2010/11

Référence.
H.R. Lewis, C.H. Papadimitriou: Elements of Theory of Computation, 2nd Edition, Prentice Hall, 1998.

Retour à la page de Christian Ronse / Back to my page