句法范畴的代数结构与演绎系统

• 作者: 于江生
• 来源期刊: 中文信息学报
• 学科: 工学
• 关键词: 句法范畴 范畴方程 本质解 类型提升
• 年，卷（期）: 2001,（2）
• 页码范围: 9-15
• 页数: 7页
• 分类号: TP301.6
• 字数: 3794字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0077.2001.02.002

摘要

本文给出了建立在含幺半群基础上的范畴语法的代数结构，定义了范畴方程和它的解并对范畴方程的解作了分类：相容性的相关性。定理“对于范畴方程的任意一个解x，都存在唯一的本质解Y使得Y x”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后，作者从范畴理论的角度给出了句法范畴演绎系统的数学描述。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于江生	北京大学计算语言学研究所	5	49	2.0	5.0