Bienvenue sur la page du cours de Théorie des langages.
L'objectif est d'étudier les outils fondamentaux permettant de définir formellement des langages (génération et vérification) et de cerner leurs propriétés. Ce cours couvre les grammaires, les automates finis, les expressions régulières ainsi que la machine de Tunring si le temps le permet.
- Fondement de l'informatique
- Théorie des automates
- Expressions régulières
- Grammaires
- Classification de CHOMSKY
- Propriétés de fermeture
- Enseignant: Slimane Oulad-Naoui