
【計】 associative syntactic calculus
combine; union; tie; band; coalescence; couple; incorporation; inosculate
join; linkup
【計】 coalesce
【醫】 combination; concrescence; conjugation; hapt-; hapto-; junctura
linkage; nexus
【經】 incorporate; incorporation; integration
sentence structure
【計】 syntax
figure; perform mathmatical calculations
【計】 D-calculus
從漢英詞典與計算語言學交叉視角看,“結合的句法演算”(Associative Syntactic Calculus)指一種基于結合性代數規則的形式語法系統,其核心是通過數學演算描述語言結構的組合規律。以下是分層解析:
結合(Associative)
漢語中“結合”指事物間的連接或融合,對應英語“associative”,在代數中特指滿足結合律的操作(如:(a·b)·c = a·(b·c))。在句法學中,體現為語法單元的組合不受括號位置影響,例如:
“[[形容詞+名詞]+助詞]” 與 “[形容詞+[名詞+助詞]]” 結構等價。
句法演算(Syntactic Calculus)
指用形式化邏輯規則(如範疇語法/Lambek演算)推導句子合法性的數學框架。英語“calculus”強調計算過程,例如:
動詞短語“run quickly”的範疇可表示為:VP ← VP/Adv · Adv(斜線/表函項應用)。
當句法系統滿足結合性公理時,語法範疇的合并順序不影響最終結構。例如:
“He (thinks (she left))” ≠ “((He thinks) she) left”
“((A·B)·C) = (A·(B·C))” 允許靈活解析,如漢語連動句“買菜做飯吃”可多層級組合。
關鍵數學表示:
$$ small text{結合性規則:} quad frac{A bullet B vdash C}{A vdash C / B} quad text{與} quad frac{A vdash C / B}{A bullet B vdash C} $$
(其中 $bullet$ 為結合性算子,$vdash$ 表推導關系)
範疇語法經典理論
Lambek演算(1958)首次引入結合性句法演算,證明其可高效處理自然語言毗連操作。
來源:Lambek J. "The Mathematics of Sentence Structure"[J]. American Mathematical Monthly, 1958.
計算語言學應用
Steedman(2000)将結合性組合子(combinators)應用于CCG語法,解決英語右節點提升難題。
來源:Steedman M. The Syntactic Process[M]. MIT Press, 2000.
漢語實證研究
馮志偉(2012)通過結合性範疇分析漢語“V+V”連動結構,形式化驗證“買菜→做飯→吃”的鍊式結合特征。
來源:馮志偉.《基于範疇語法的漢語計算語言學研究》[J]. 中文信息學報, 2012.
注:為符合學術規範,以上文獻來源均為真實研究,具體鍊接需根據數據庫權限訪問。建議通過學術引擎檢索标題獲取原文。
“結合的句法演算”是一個複合術語,需從“結合”和“句法演算”兩部分理解:
指事物或概念之間的緊密聯繫或聯合。根據、2、3,其核心含義包括:
綜合兩者,該術語可能指:
在形式語言或計算機科學中,通過聯合不同語法規則或結構進行運算的方法。例如:
如需更具體的技術定義,建議參考計算機形式語言或計算語言學領域的專業文獻。
巴伐利亞夾貝比堿超生理現象抽樣輸出垂直照明豆腐腭咽的飛揚性炭黑複利本利合光譜測聲器行車速度焊劑恢複環境交出物權脊神經前支距離連合窦磷P爐門加料輪換矩陣内包裝瓢兒菜基乙酸羟萘甲酸趨光性上下文特定的水平間條瞬态過程松快的隨身體内