Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites. (Matching problem and parsing problem for abstract categorial grammars)

Ce travail de these contient une etude detaillee de la complexite de l'analyse des grammaires categorielles abstraites et il presente des algorithmes d'analyse pour ce formalisme. Les grammaires categorielles abstraites ont ete introduites par Philippe de Groote comme un cadre formel pour l'etude du langage et des liens entre ces diverses dimensions. Les grammaires categorielles abstraites utilisent comme bases formelles la logique lineaire et le lambda-calcul lineaire. Une partie substantielle de ce travail est consacree a l'etude du filtrage dans le lambda-calcul lineaire; la conception des algorithmes d'analyse proposes est issue pour une bonne part de cette etude qui de plus permet d'envisager une extension du formalisme afin qu'il reponde au mieux a ses ambitions.