Ce cours (moitié du cours Maths Spécifique 2) aborde les aspects formels des langages :

• automates, expressions régulières, diagrammes syntaxiques
• techniques d'analyse de langages
• preuves de programme : assertions, invariants, pré- post-conditions
• Logique temporelle
• limites de la calculabilité, machines de Turing, dénombrabilité, classes de problèmes P, NP, NP-complet

F. Bapst (HEIA-FR).