Langages formels (11X003)
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]
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.