類別語法

類別語法是自然語言語法中的一個形式化系列，它的核心假設是句法成分作為函數和參數結合起來。分類語法認為語法和語義構成之間有密切的關系，因為它通常把句法類別視為對應于語義類型。它仍然是一個主要范式，特別是在形式語義學中。

類別語法由兩部分組成：一個詞典，它為每個基本符號分配一組類型（也稱為類別），以及一些類型推理規則，它決定一串符號的類型如何從組成符號的類型中推導出來。它的優點是，類型推理規則可以一勞永逸地固定下來，這樣，特定語言語法的規范就完全由詞匯決定。分類語法與簡單類型的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,!}，因為它在后面跟著一個名詞時形成一個完整的名詞短語。