Enseignant : Arnaud Casteigts
Assistant : Alexandre-Quentin Berger et Margaux Marseloo
Monitrices : Naziha Beghdadi et Elie Bussod

Autres pages du cours

sur moodle (supports, informations, modalités d’examens, etc.)
sur unige (informations administratives)

Notes de cours

Les notes de cours sont déposées ici (et sur Moodle) au fur et à mesure du semestre. Les séries d’exercices ne sont que sur Moodle.

Préambule au module [slides]
Cours 1 : Concepts de base [notes de cours] - [quiz]
Cours 2 : Automates finis déterministes [notes de cours] - [quiz] - [personnage du jour]
Cours 3 : Non-déterminisme [notes de cours] - [quiz] - [personnage du jour]
Cours 4 : Expressions régulières [notes de cours] - [quiz] - [personnage du jour]
Cours 5 : Lemme de l’étoile [notes de cours]

Pour aller plus loin

Une partie du cours s’inspire de “Introduction to the Theory of Computation (Michael Sipser)”. D’autres parties sont composées à partir de ressources variées, dont certains articles Wikipédia. Vous pouvez aussi consulter les notes de cours des années précédentes sur cette page.