Grammaire lexicale-fonctionnelle
Le formalisme des grammaires lexicales-fonctionnelles (en anglais Lexical-Functional Grammars, d'où l'acronyme que nous utiliserons désormais, LFG) est un formalisme grammatical utilisé pour formaliser les langues naturelles. C'est un formalisme à décorations dont le formalisme squelette est celui des grammaires non contextuelles, et dont les décorations sont appelées structures fonctionnelles. Historiquement, la définition du modèle par Kaplan et Bresnan au début des années 1980 procède d'une critique des grammaires génératives transformationnelles, en vogue à l'époque, mais dont les trois principaux points faibles étaient leur complexité excessive, leur difficulté à rendre compte des langues à ordre plus libre, et leur inadéquation aux expériences psycholinguistiques censées au contraire plaider en leur faveur. L'idée sous-jacente à LFG est qu'il n'y a pas nécessairement superposition des fonctions grammaticales avec les positions syntaxiques, pour au moins deux raisons: les fonctions grammaticales induisent un graphe de dépendances syntaxiques qui n'est pas nécessairement un arbre, alors que les positions syntaxiques induisent une structure d'arbre, une même position syntaxique peut être remplie par la réalisation de diverses fonctions syntaxiques. Les fonctions grammaticales sont de ce fait des fondamentaux de la théorie LFG, au même titre que les constituants. Les constituants sont donc gérés par le squelette syntaxique non contextuel, et les fonctions grammaticales sont gérées par des équations fonctionnelles qui reposent sur l'unification. Une analyse LFG est donc d'une part un arbre de constituants, appelé structure de constituants ou c-structure, et d'autre part une structure fonctionnelle, ou f-structure, qui est une structure de traits dont nous allons maintenant montrer le contenu et la construction. Soit une règle du squelette, par exemple . À chaque non-terminal, de partie droite comme de partie gauche, est associée une f-structure (si est l'axiome, sa f-structure est la f-structure complète; les autres non-terminaux n'ont qu'une f-structure partielle).