Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Combinatory categorial grammarCombinatory categorial grammar (CCG) is an efficiently parsable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate–argument structure, quantification and information structure. The formalism generates constituency-based structures (as opposed to dependency-based ones) and is therefore a type of phrase structure grammar (as opposed to a dependency grammar).
ActantEn grammaire, un actant (ou argument en grammaire générative) est un élément syntaxique nominal imposé par la valence de certaines classes lexicales : le verbe principalement, mais aussi le nom, l'adjectif, la préposition... Un actant se situe dans le schéma actanciel qui décrit l'organisation syntaxique nécessaire à certains mots dotés d'une valence afin qu'ils soient saturés. Ces termes doivent déterminer un procès, ou contenu sémantique du prédicat capable de transformer le thème, qu'il indique un processus (se reposer, travailler, tousser, etc.
