Informatique théorique - 8INF713

Documents

Plan de cours

Exercices

Devoir 1

Planning

18 septembre

Expressions rationnelles (cf. Sipser section 1.3)

Théorème de Kleene (cf. Sipser section 1.3)

11 septembre

Non-déterminisme (cf. Sipser section 1.2)

Propriétés de fermeture (cf. Sipser section 1.2)

4 septembre

Pas de cours (fête du travail)

28 août

Présentation du cours

Révision

Langages reconnaissables (cf. Sipser section 1.1)