Algorithme et programmation :

  • Technologies objet
  • Programmation fonctionnelle

Théorie de langages / Compilation

  • Automates finis déterministes, non déterminisme, minimisation, expressions régulières
  • Grammaires formelles, contextuelles, algébriques, linéaires
  • Automates à piles, Machine de Turing
  • ADR, grammaires LL(1), schéma de traduction

Spécifications formelles

  • Simulation / bissimulation
  • Utilisation de TLA en TP