范畴文法

（计算机科学技术名词）

范畴文法（categorical grammar）是2018年公布的计算机科学技术名词。一种以自然语言为描述对象的词汇化的文法形式系统。每个基本语法符号由一组范畴（类型）刻画，语法符号串的范畴则可以由类型推导规则推得。基于有限的原子范畴，通过在词典中详细定义每个词条的范畴表达式，并通过有限的演算规则完成语言的生成和分析。