Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Automates et langages formels
Todo : ajouter le cours qui n'est pas sur le web, peut être JB peut le mettre sur sa page perso ? ensuite récupérer les vieux TDs.
Thème :
Languages, Automates & Calculabilité
–
Cursus :
ENS-Lyon - L3
2005 - 2006
TDs
Victor Poupet
,
Anne Bouillard
TD1 propriétés élémentaires des mots
TD2 automates finis et langages rationnels, mots de Lyndon
corrigé de l'exercice sur les mots de Lyndon
TD3 automates finis et langages rationnels
TD4 partiel de l'année précédente
TD9 langages de mots infinis, théorème de Büchi, limites de langages
TD10 machines de Turing
TD11 machines à compteurs et machines de Turing
TD12 problème de correspondance de Post, ensembles récursivement énumérables, ensembles récursifs