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.