Résumé de section

    • Ce chapitre 2 présente les langages et automates à états avec un apport théorique et des exemples. Pour suivre les séquences, vous pouvez vous appuyer sur le support FRM_Aut.pdf.



    • Les étudiants doivent
      Marquer comme terminé

      Automates et Langages


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Définitions



    • Les étudiants doivent
      Marquer comme terminé

      But des langages


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Opérations


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Expressions régulières


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Propriétés


    • Les étudiants doivent
      Marquer comme terminé

      Automates à états - Définitions


    • Les étudiants doivent
      Marquer comme terminé

      Automates à états - Langages d'un automate


    • Les étudiants doivent
      Marquer comme terminé

      Automates à états - Opérations


    • Équipe pédagogique

      Contributeurs : Pascale Marangé, Alexandre Philippot, Laurent Piétrac, Ramla Saddem
      Intervenant : Laurent Piétrac

    • Mise en application

      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant :


    • Références

      [1] Christos G Cassandras et Stéphane Lafortune. Introduction to Discrete Event Systems. Springer, 2008.
      [2] Yliès Falcone et Jean-Claude Fernandez. Automates à états finis et langages réguliers. collection infoSup. Dunod, juill.
      2020. isbn : 9782100808465.

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder la partie sur l'extension temporisée du chapitre 4, ou l'utilisation pour le contrôle commande dans la vidéo UTL_CTRL_CS.mp4, l'utilisation en diagnostic avec le chapitre 10 et l'utilisation en vérification avec le chapitre 8.

    • Pour revenir en arrière

      Si la notion d'événement ou d'état n'est pas claire, aller à la vidéo INTRO_Definitions.mp4.