IP4002 - Théorie des langages
Objectifs
Objectif général :
Décrire les modèles utilisés en informatique pour représenter et effectuer des calculs à partir de séquences finies de symboles
Objectifs détaillés :
Savoir décrire formellement des langages, notamment des langages de programmation informatique
Savoir distinguer les différentes catégories de langages et utiliser les formalismes qui leur sont associés
Savoir construire des automates pour la reconnaissance effective de certaines familles de langages
Appréhender les limites du calculable
Volume horaire (h)
- Cours Magistraux : 12h
Examens
Nombre total d'heures d’évaluation : 2
En bref
Crédits ECTS : Cf UE
Nombre d'heures 14
Contact(s)
Lieu(x)
- Toulouse