类别语法

类别语法是自然语言语法中的一个形式化系列，它的核心假设是句法成分作为函数和参数结合起来。分类语法认为语法和语义构成之间有密切的关系，因为它通常把句法类别视为对应于语义类型。它仍然是一个主要范式，特别是在形式语义学中。

类别语法由两部分组成：一个词典，它为每个基本符号分配一组类型（也称为类别），以及一些类型推理规则，它决定一串符号的类型如何从组成符号的类型中推导出来。它的优点是，类型推理规则可以一劳永逸地固定下来，这样，特定语言语法的规范就完全由词汇决定。分类语法与简单类型的lambda微积分有一些共同特点。而lambda微积分只有一个函数类型A→B{displaystyleArightarrowB}，而分类语法通常有一个函数类型A→B。而分类语法通常有两种函数类型，一种是在左边应用的，另一种是在右边应用的。例如，一个简单的分类法语法可能有两个函数类型这个符号是基于代数的。一个分数与它的分母相乘（即与分母相连接）就会产生它的分子。由于连接不是交换性的，所以分母是在左边还是右边会有区别。连接必须与分母在同一侧，这样才能抵消。xxx种最简单的分类语法被称为基本分类语法，有时也称为AB语法（根据Ajdukiewicz和Bar-Hillel）。

给定一组原始类型原始类型{displaystyle{text{Prim}},!}{displaystyle{text{Tp}}({text{Prim}}),!}是由原始类型构建的类型的集合。在基本情况下，这是个最小的集合，使得{displaystyle(X/Y),(YbackslashX)in{text{Tp}({text{Prim})}。把这些看作是由原始类型自由生成的纯形式表达式；任何语义都将在后面添加。有些作者假设所有语法都使用固定的无限的原始类型集，但通过使原始类型成为语法的一部分，整个结构保持有限。一个基本的分类语法是一个元组{displaystyleN/N,!}，因为如果它后面是名词，那么整个短语就是名词。同样，一个定语也有N/N的类型。{displaystyleNP/NP,!}，因为它构成完整的名词。不及物动词的类型是：NP/NP{displaystyleNP/NP,!}，因为它在后面跟着一个名词时形成一个完整的名词短语。