Up: Web page
Previous: About this document...
Enseignements 2007
Enseignements 2008
Initiation à UNIX à l'ENS CACHAN Antenne de Bretagne
- TP d'initiation à UNIX (Maths1, Maths3) - Télécharger le pdf
- Memento des commandes principales UNIX (pdf)
- Principaux raccourcis clavier pour Emacs (pdf)
Langages Formels - MIT 1 (ENS Cachan)
- TD1 : Mots et Langages (télécharger le pdf et me contacter pour une correction).
Au programme :
- Mots multiplicativement dépendants ;
- Codes ;
- Résiduels ;
- TD2 : Langages Reconnaissables et Automates (télécharger le pdf et me contacter pour une correction).
Au programme :
- Éxemples d'automates déterministes ;
- Langages reconnaissables ;
- Déterminisation ;
- Caractérisation des langares rationnels.
- TD3 : Langages Rationnels (télécharger le pdf et me contacter pour une correction).
Au programme :
- Semi-linéarité ;
- Non équivalence des lemmes d'itération ;
- Langages rationnels ;
- Le barman aveugle ;
- Méthode de Thompson.
- TD4 : Minimisation, Langages Rationnels, caractérisation de Nérode (télécharger le pdf et me contacter pour une correction).
Au programme :
- Non-clotūre de Rat pour l'opération BORD ;
- Minimisation ;
- Caractérisation de Nérode ;
- Stabilité de Rat par shuffle et substitution rationnelle.
- TD5 : Carcatérisation logique de Rat, Automates séquentiels (télécharger le pdf et me contacter pour une correction).
Au programme :
- Caractérisation logique de Rat ;
- Automates séquentiels.
- TD6 : Langages et Grammaires Algébriques (télécharger le pdf et me contacter pour une correction).
Au programme :
- Calcul de langages engendrés ;
- Recherche de grammaires.
- TD7 : Forme normale de Chomsky et Lemme d'Ogden (télécharger le pdf et me contacter pour une correction).
Au programme :
- Forme normale de Chomsky;
- Lemme d'Ogden.
- TD8 : Lemme de l'étoile, Lemme d'Ogden et centre d'un langage algébrique (télécharger le pdf et me contacter pour une correction).
Au programme :
- Lemme de l'étoile;
- Lemme d'Ogden;
- Non-clôture par moitié;
- Centre d'un langage algébrique.
- TD9 : Langages algébriques et automates ą pile (télécharger le pdf et me contacter pour une correction).
Au programme :
- Construction d'automates ą pile;
- Non-clôture par union dénombrable;
- Centre d'un langage algébrique.
Benoit Delahaye
2010-09-27