Automates finis - 3MM1AF

Volumes horaires
- CM 13.5
- Projet -
- TD 13.5
- Stage -
- TP -
- DS -
Crédits ECTS
Crédits ECTS 3.0

Objectif(s)

Ce cours vise à donner aux élèves les bases de la théorie des automates finis.
Il fait partie des cours explicitant les fondements de l'informatique et vise à donner aux élèves aussi bien des connaissances théoriques que des compétences pratique leur permettant d'utiliser les automates à bon escient dans leur vie professionnelle.

Responsable(s)

Sylvain BOULME

Contenu(s)

Automates finis

Comment modéliser un langage régulier par un automate et une expression régulière
Equivalence de ces deux modèles
Algorithmes liés à ces modèles : déterminisation et minimisation
Limites de ces modèle : le lemme de l'étoile
Application des automates à la résolution de problèmes

- Ce cours est donné en Période(s) Académique(s) 1 **

Prérequis

Néant.

Contrôle des connaissances

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) : aucun
Matériel (ex : calculatrices):

matériel autorisé, préciser : aucun
matériel interdit, préciser : tous
Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) : aucun
Matériel (ex : calculatrices):

matériel autorisé, préciser : aucun
matériel interdit, préciser : tous
Commentaires