La sémantique des formalismes grammaticaux vus comme des langages informatiques

La conception, la mise en œuvre et l'utilisation des formalismes grammaticaux pour la langue naturelle ont constitué une branche majeure de la linguistique computationnelle tout au long de son développement. En considérant les formalismes grammaticaux comme un cas particulier de langages informatiques, nous pouvons tirer parti de la machinerie de la sémantique dénotationnelle pour fournir une spécification précise de leur signification. En utilisant la théorie des domaines de Dana Scott, nous éclaircissons la nature des systèmes de caractéristiques utilisés dans les formalismes grammaticaux de structure de phrases augmentée, en particulier ceux des versions récentes de la grammaire de structure de phrase généralisée, de la grammaire fonctionnelle lexicale et de PATR-II, et fournissons une sémantique dénotationnelle pour un simple formalisme grammatical. Nous constatons que les structures mathématiques développées à cet effet contiennent une opération de généralisation des caractéristiques, non disponible dans ces formalismes grammaticaux, qui peut être utilisée pour donner un compte rendu partiel de l'effet de la coordination sur les caractéristiques syntaxiques.