Informations du cours

La THéorie des Langages (THL) est née d’une tentative de modélisation des langages naturels. Elle connut une expansion considérable lorsqu’on s’aperçut de son adéquation à la description des langages de programmation. Les concepts issus de la théorie des langages et tout particulièrement des langages algébriques, de grammaires, d’automates sont à la base de tous les algorithmes d’analyse syntaxique des langages, donc de compilateurs. 

L'objectif du module est d'introduire les concepts fondamentaux de la THL et de définir les modèles mathématiques de base à savoir les Grammaires (comme modèle de génération) et les Automates (comme modèle de reconnaissance) et d'établir les correspondances entre les descriptions analytiques et génératrices.