Automates et applications

But du cours

Ce cours présente une introduction aux automates, leur propriétés en tant qu'objets algébriques et leurs applications en tant qu'objets calculatoires. Il fait le lien entre différent modèles d'objets : Langages, Automates, Logique. Les concepts abordés sont entre autres :

Plan du cours, supports de cours et de TD/TP

  1. Rappels sur les langages de mots et les automates de mots finis : cours 1 en PDF .
    La feuille de TD1 et son corrigé.
  2. Langages réguliers d'arbres : cours 2 en PDF .
    La feuille de TD2 et son corrigé.
  3. Logiques pour les arbres : cours 3 en PDF .
    La feuille de TD3.
  4. Langages de mots infinis, automates de Büchi, LTL : cours 4 en PDF .
    La feuille de TD4 et son corrigé.
  5. Practical applications on word automata La feuille de TD5 et son corrigé.

Information pratiques