
【计】 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,其核心含义包括:
综合两者,该术语可能指:
在形式语言或计算机科学中,通过联合不同语法规则或结构进行运算的方法。例如:
如需更具体的技术定义,建议参考计算机形式语言或计算语言学领域的专业文献。
艾麻属半浆柽柳属端黄的反计算机返祖牙非礼附头联胎根圆凿共有不动产核保障监督技术活性铝土间隙空位缺陷角银矿接地电压继续执行宏可靠性等级罗汉松烯密钥陪嫁物汽提器去氢依米丁冗余环三角带传动少数股权生父母试验物双普洛斯特征形式通路位置