THL.jpgTHL.jpg

La théorie des langages, en linguistique et en informatique, est une discipline qui étudie les langages formels. Elle englobe plus généralement tout langage, fini ou infini, pouvant être défini à l'aide d'un mécanisme fini et explicite permettant sa génération ou son analyse. Cette théorie joue un rôle essentiel dans divers domaines, notamment la compilation, la reconnaissance de formes et la modélisation des langages naturels et artificiels.

Objectif : Comprendre les fondements théoriques ainsi que les outils de la théorie des langages, en mettant l'accent sur l'étude des langages formels, leur spécification, leur génération et leur analyse. Cela inclut l'exploration des grammaires formelles, des automates, ainsi que des techniques de reconnaissance et de transformation des langages.