Sujets de TP
| TP1
|
mots conjugués
|
| TP2
|
Algorithme de Huffman
|
| TP3
|
Parcours d'un labyrinthe
|
| TP4
|
Expression rationnelle à partir d'un automate
|
| TP5
|
Connecteur de Sheffer
|
| TP6
|
Dragons, trolls et automates finis
|
| TP7
|
Gestion d'accès internet
|
| TP8
|
Reconnaisseur de polynômes
|
| TP9
|
Recherche de célébrités
|
Vous trouverez d'autres sujets de TP sur
la page de Michel Quercia
TP1: mots conjugués
Proposé par D. Genoud
Ce T.P. est un prétexte pour manipuler des listes et des tableaux en Caml.
Deux mots x et y sont conjugués s'il existe u et v tels que x=uv et y =vu.
TP2: Algorithme de Huffman
Proposé par D. Genoud
Programmation de l'algorithme de compression de Huffman.
Ce T.P. assez long permet de voir un exemple de construction et d'utilisation
d'un arbre.
TP3: Parcours d'un labyrinthe
Proposé par D. Genoud
Parcours d'un labyrinthe par un algorithme itératif puis un algorithme
récursif.
TP4: Expression rationnelle à partir d'un automate
Proposé par D. Genoud
Calcul d'une expression rationnelle du langage reconnu par un automate
par la méthode des systèmes d'équations avec le lemme d'Arden.
TP5: Connecteur de Sheffer
Proposé par D. Genoud
Définition du connecteur de Sheffer (en calcul propositionnel) et transformation
d'une formule propositionnelle en formule ne contenant que ce connecteur.
- Sujet et corrigé au format PostScript
- Sujet et corrigé au format ps.gz
- Corrigé en Caml
- Un fichier zip regroupant le source du texte
du corrigé et le fichier postscript.
TP6: Dragons, trolls et automates finis
Proposé par B. Petazzoni
Des chevaliers qui rencontrent des dragons, des trolls et divers
autres ingrédients pour faire un TD sur les langages rationnels
et les automates finis.
TP7: Gestion d'accès internet
Proposé par B. Petazzoni
Un TP proposant des manipulations de listes pour gérer différents
utilisateurs du même accès internet.
TP8: Reconnaisseur de polynômes
Proposé par F. Doué
- un fichier zip contenant le tout tp8.zip
TP9: Recherche de célébrités
Proposé par Luc Albert