Travaux dirigés

• Expressions régulières [ planche]
• Graphes et parcours [ planche]
• Graphes pondérés, chemins optimaux [ planche]
• Automates finis déterministes [ planche]
• Automates finis non déterministes [ planche]
• Arbres couvrants [ planche]
• Théorème de Kleene [ planche]
• Logique propositionnelle [ planche]
• Déduction naturelle [ planche]
• Classes P et NP [ planche]
• Un exercice de réduction NP-complet [ énoncé]
• Grammaires non contextuelles [ planche]