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