范畴语法

指由语言学家巴尔一希列尔(Y · Bar—Hillel) 和数学家兰贝克 (J·Lambek) 先后提出的一种语法学体系。 其基本观点是： 语法是由句子 (Sen-tence) 和名词(noun) 两个基本范畴组成的， 任何词都可根据它在句中的功能归入一定的句法类型。 用N表示名词的句法类型， 用S表示句子的句法类型， 用N和S的不同结合方式表示其他的句法型。 任何语法项目和语法关系都可以从这两个基本范畴出发， 用一个半代数式的演算规则推导出来， 并辨识它是不是该语言中合格的句子。

范畴语法

巴-希勒尔(Y.Bar Hillel)和其他逻辑学家提出的分析语言的一种方法。认为语法中只有两个基本范畴，即句子和名词，从这两个范畴出发，所有其他各个项目和关系都可以在一个半代数式的框架内推导出来。