Si vous voulez m'écrire, n'hésitez pas : samuel.mimram@pps.jussieu.fr.
Tout est sur cette page.
Le projet consiste à implémenter en Java un programme qui, étant donnés deux automates finis déterministes complets A1 et A2 reconnaîssant respectivement des langages L1 et L2, calcule un automate déterministe minimal reconnaîssant le shuffle des deux langages.
Les projets devront être réalisés en binômes mais les soutenances seront individuelles, ils devront être rendus chez Mme Labour avant le jeudi 17 avril à 17h30. Les soutenances auront lieu le mardi 6 mai après-midi en salle S4B.
La dernière séance de TD aura lieu le lundi 5 mai.
L'examen devrait avoir lieu le jeudi 22 mai de 8h30 à 11h30 dans l'amphi 1A.