组合范畴语法是基本范畴语法的扩展,有函数组合和类型提升,生成能力对上下文适度敏感,范畴中的斜线有多种模态,范畴结合的精细控制在词汇一侧,语法规则跨语言通用。范畴的语义可解释为纯粹的模型论对象,也可解释为λ-抽象的谓词-论元结构。范畴唯一确定λ-项的类型,λ-项的类型以及方向性参数的模型唯一确定范畴。范畴结合规则隐含少而简单的几种函数上的语义运算,衍生范畴及其λ-项与衍生过程无关。范畴与语义解释的同态演算,使范畴语法分析的过程也是求解谓词-论元结构的过程。谓词-论元结构的套叠,形成所谓的句法树,它本质上是句子的语义表示。组合范畴语法正成为自然语言句法、语义形式化的理想工具之一。汉语较英语的主要区别是转类时词没有曲折变化,缺乏应对这种转类的手段使组合范畴语法不能直接应用于汉语句法和语义分析。通过分析汉语词组的普遍套叠现象,并引入沈家煊先生“名-动-形”依次包含理论,有可能得到一个适合汉语句法的组合范畴语法。为此本文开展了如下工作:(1)词组入句时发生语法性质转变,词组的句法范畴就应该转换,这种转换依赖词组作为整体进入的更大词组的结构需要。要解释这种现象,组合范畴语法应该增加相应的转换规则。从集合论角度看,汉语有名词-动词-形容词依次包含,由此可归纳基本句法结构之间的转类套叠。在类有定职的前提下,得出转类套叠对应的范畴转换规则,形成有范畴转换机制的组合范畴语法。示例说明这种基于词组本位的形式语法有希望能解释中文句法中各种转类套叠。(2)开发组合范畴语法的分析软件,包括范畴表示、规则表示、句法分析、输入输出等模块,该软件可以验证中文组合范畴语法的设计,同时能评估分析器的性能,是未来构建分析树库的重要基础。