Enseignant : Arnaud Casteigts
Assistant : Alexandre-Quentin Berger et Matteo De Francesco
Monitrices : Léa Heiniger et Aylin Tekkoyun

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.

Cours 1 : Concepts de base : [notes de cours] - [vidéo] - [slides]
Cours 2 : Automates finis (déterministes) : [notes de cours] - [vidéo] - [slides] - [quiz 1]
Cours 3 : Non-déterminisme : [notes de cours] - [vidéo] - [slides] - [quiz 2]
Cours 4 : Expressions régulières : [notes de cours] - [vidéo] - [slides] - [quiz 3]
Cours 5 : Lemme de l’étoile : [notes de cours] - [vidéo] - [slides] - [quiz 4]

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.