Le cours est
donné sans livre obligatoire car apprendre à prendre des notes fait partie du
cours. Toutefois quelques notes de cours seront disponibles ici. Notons que ces notes évoluent et que l'auteur
est toujours content d'avoir des commentaires et des suggestions qui peuvent
améliorer les textes (surtout des fautes de frappe, de grammaire ou de
logique).
Dernière mise à jour : le 19.04.24
Notes disponibles
lien version
1 01.03.2024 Langages
réguliers 2.3.6
2 09.01.2024 L'infini
et le théorème de Cantor 2.0
3 29.1.2012 Pompiste
et langage non-régulier
4 02.2.2012 String Search
5 01.03.2024. Langages hors-contexte 3.2.1
5.1 22.03.2020 Corona: pompiste hors-contexte et Chomsky 1.0
6 25.03.2021 Forme
normale de Chomsky 1.7
9 19.3.2019 Machines
de Turing I.
10 11.4.2012
Machines de Turing II.
11 05.4.2024
Machines de Turing examples
12 19.4.2024
Undécidabilité 1.1
13 09.4.2021
Rice 1.2
14 11.4.2012
Complexité
15 11.4.2012
Révision
16 11.4.2012
Indécidabilité : correspondance avec une étudiante
17 05.02.2012
Questions une collection de questions
contemplées ou utilisées pour des examens précédents