Automates et applications

Devoir à la maison

L'énoncé du devoir à la maison est disponiblie ici. Le devoir est à rendre pour le :

lundi 8 mars 17h00, sur eCampus.

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 et son corrigé.
  4. Langages de mots infinis, automates de Büchi, LTL : cours 4 en PDF .
    La feuille de TD4 et son corrigé.

Information pratiques