Automates

  • See this page in english

    En bref

  • Langue d'enseignement : Français
  • Méthode d'enseignement : En présence
  • Code : N7EN10A

Objectifs

Découvrir,  comprendre et savoir exploiter les outils mathématiques nécessaires à la modélisation formelle de la dynamique de systèmes discrets et à l'analyse d'informations structurées : les automates finis, automates à pile et machine de Turing. La matière couvre à la fois les aspects théoriques et pratiques à travers l'exploitation d'outils de l'état de l'art actuel permettant la modélisation de systèmes discrets, et l'utilisation de la description formelle de langages pour l'exploitation d'informations structurées.

Description

Étude théorique et pratique de :

  • Automates finis
  • Automates à pile
  • Techniques d'analyse d'informations structurée
  • Analyse descendante récursive
  • Générateurs d'analyseurs lexicaux et syntaxiques

Compétences visées

Modélisation de la dynamique de systèmes discrets en utilisant les automates finis.

Construction d'outils d'analyse d'informations structurées à partir de modèles de langages sous la forme d'expressions régulières et de grammaires.

Conditions d'admission

Théorie des langages (voir matière Modélisation de l'UE Modélisation et Programmation)

Session 1 ou session unique - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CC (contrôle continu) Oral/Ecrit70%Examen Automates
CC (contrôle continu) Bureau d'Etudes30%BE-Automates

Session 2 - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CC (contrôle continu) Oral/Ecrit70%Examen Automates
CC (contrôle continu) Bureau d'Etudes30%BE-Automates

Contact(s)

PANTEL MARC

Lieu(x)

  • Toulouse

Contactez l’ENSEEIHT

L’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00

Certifications

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup