Outils formels pour l'étude du langage

L’objectif de ce cours est de présenter une introduction à plusieurs cadres formels pertinents pour la linguistique (principalement issus des mathématiques discrètes). La première partie porte sur la théorie des langages formels (automates à états finis, grammaires formelles, complexité des langages formels et naturels). Vient ensuite la logique du premier ordre, envisagée surtout comme un moyen de représenter la sémantique du langage naturel. Enfin, quelques éléments de lambda-calcul seront présentés, afin de donner un premier aperçu du programme de recherche de Montague : traiter l’anglais comme un langage formel.