Automates

Objectives

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.

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances