範疇文法英文解釋翻譯、範疇文法的近義詞、反義詞、例句

英語翻譯：

【計】 categorical grammar

grammar

範疇文法（Categorial Grammar, CG）是一種基于類型邏輯的形式語法理論，它将詞彙的句法範疇視為函數類型，通過函數應用和組合規則來推導句子的結構。其核心思想是将句法組合視為數學上的函數運算，詞彙條目本身攜帶了如何與其他成分組合的指令。

詞彙範疇标注
每個詞彙被賦予一個或多個範疇（Category），範疇由基本類型（如名詞N、句子S）和斜杠運算符（/或``）構成。例如：
- 及物動詞的範疇标注為 (S )/N，表示它需要右側一個名詞（N）生成一個不及物動詞短語（S ），再與左側名詞組合成句子（S）。
- 函數應用規則：若成分A的範疇是 X/Y，右側成分B的範疇是 Y，則組合後範疇為 X（記作 $A/BB rightarrow A$）。
組合規則擴展
除基本應用規則外，範疇文法引入函數複合（如 $X/YY/Z rightarrow X/Z$）和類型提升（如 $X rightarrow T/(TX)$），以處理嵌套結構、長距離依賴等複雜現象。

範疇文法的數學模型建立在範疇論（Category Theory）和λ演算之上：

語法範疇對應數學中的對象，組合規則對應态射（morphisms），形成範疇結構。
句法推導可通過線性邏輯（Linear Logic）或類型邏輯（Type-Logical Grammar）形式化，例如：
$$ frac{A : X/Y quad B : Y}{A B : X} $$ 表示範疇 $X/Y$ 與 $Y$ 組合生成 $X$。

（注：以上鍊接經核驗為語言學與形式語法領域權威資源，内容持續更新維護。）

“範疇”是一個多維度概念，其含義可從哲學、語言學等角度理解。以下是詳細解釋：

“範疇文法”是語言學中的術語（未直接見于搜索結果，需結合知識擴展）：

“範疇”的核心是分類與本質概括，而“範疇文法”是其概念在語言學中的延伸應用。如需更專業的文法理論細節，建議參考語言學專著或權威學術資源。