组合分类语法

组合分类语法（CCG）是一种高效的可解析的、具有语言表达能力的语法形式。它在表面语法和底层语义表示之间有一个透明的接口，包括谓语-参数结构、量词和信息结构。该形式主义产生了基于成分的结构（而不是基于依赖的结构），因此是一种短语结构语法（而不是依赖语法）。CCG依赖于组合逻辑，它具有与λ微积分相同的表达能力，但以不同的方式构建其表达。这些组合器与I（身份映射）和C（置换器）一起构成了一组原始的、不可定义的组合器。

CCG形式主义定义了许多组合器（应用、组合和类型提升是最常见的）。这些组合器通过自然演绎风格的证明，对句法类型化的词条进行操作。证明的目标是找到某种方式，将组合器应用于一连串的词汇项，直到证明中没有词汇项未被使用。证明完成后的结果类型是整个表达的类型。因此，证明某个词的序列是某种语言的句子，相当于证明这些词还原为类型S。

词条的句法类型可以是原始类型，如S、N或NP，也可以是复杂类型，如S/NP，或NP/N。复杂的类型，可以用X/Y和X/Y来表示，表示接受Y类型的参数并返回X类型的对象的漏斗类型，正斜杠表示参数应该出现在右边，而反斜杠表示参数应该出现在左边。任何类型都可以代替这里的X和Y，使得CCG中的语法类型成为一个递归类型系统。

应用组合器，通常用>表示正向应用，用<表示反向应用，将一个具有漏斗类型的词条应用于具有适当类型的参数。应用的定义如下。

类型提升组合器，通常表示为用于后向类型提升，将参数类型（通常是原始类型）带入漏斗类型，漏斗类型将在类型提升之前将它们作为参数的漏斗作为其参数。