Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Comprendre les automates à états finis et leurs extensions, en particulier dans leur utilisation pour modéliser des systèmes.
Description
– Notion sur les langages en informatique.
– Définition des automates à états finis.
– Utilisation pour la modélisation de systèmes (résolution de problèmes, architecture, IHM, réseau, synchronisation...).
– Non-déterminisme, déterminisation, minimisation.
– Relation avec les expressions régulières.