Fondements de l'informatique
Théorie des langages — Théorie du calcul

Cours Langages formels

Version très provisoire en html : chap 1 , chap 2 (pour les fichiers .doc c'est là)

Le cours de Carlos Martin-Vide

TP

Accès aux fichiers de TP

Annales examens

janvier 1998 — juin 1998 — janvier 1999 — juin 1999 — septembre 1999 — janvier 2000 (corrigé)

Exercices corrigés

Automates réguliers

LR #a mod 2 = 0 et #b mod 2 = 0 — L (si #a mod 3 = 0 alors #b mod 2 = 1 sinon #b mod 2 = 0)

Machine de Turing

Machine Copie —

Contact pour les questions générales (et l'informatique): mathieu lafourcade LIRMM - 161, rue ADA - 34392 Montpellier Cedex 5 - France - Tél : (33) 04 67 41 85 71 - Fax : (33) 04 67 41 85 00 - courriel : lafourca@lirmm.fr