Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

G.2 词典

范畴方法中的词典由“词—范畴”指派构成。指派对象既可以是原子范畴,也可以是函数范畴;由于词汇歧义,同一个词还可以被指派多个范畴。考虑以下词典条目示例:

flight:NMiami:NPcancel:(S\NP)/NP\begin{array}{cc} \text{flight:}&N\\ \text{Miami:}&NP\\ \text{cancel:}&(S\backslash NP)/NP \end{array}

flight 这样的普通名词和像 Miami 这样的专有名词被指派原子范畴,反映它们通常充当函数论元的角色。另一方面,像 cancel 这样的及物动词被指派范畴 (S\NP)/NP(S\backslash NP)/NP:这是一个在右侧寻找 NPNP,并返回类型为 (S\NP)(S\backslash NP) 之函数的函数。返回的函数又可以与左侧的 NPNP 组合,最终产生 SS。这种表示用一种适合计算、具有内部结构的方式编码了次范畴化信息。

give 这样在动词后需要两个论元的双及物动词,其范畴为 ((S\NP)/NP)/NP((S\backslash NP)/NP)/NP:该函数与右侧一个 NPNP 组合后,产生另一个函数;后者对应及物动词范畴 (S\NP)/NP(S\backslash NP)/NP,与上面的 cancel 相同。