补充资料：范畴文法

范畴文法
grammar, categorial

　　范畴文法[孚朋团皿，口媲，甸;rpaMMav.Ka KaTerop一即妞a.1 一种形式文法(glm几日Lr，允m司).它可被定义为一个有序四元组G=，其中V和碎是有限集，它们的元素分别称为移节攀(记n刀inal symbels)与匆等苹吵(ek此n协ryCa娜叨画);叭是砰中一个元素，称为丰苹呼(p山‘PalCa峋笋妙)‘f是尽填函攀佃铝粤曲吧灿叫山n)，它使每一个终结符对应一个范畴(口姆即由)的有限集，类型可由初等范畴与语法符号【，]，\./按如下规则表示:1)所有的初等范畴都是范畴;2)如果。与甲是范畴，那么【伪\甲】(甲下中)和团/明(甲上。)是范畴;3)一个范畴文法要么是l)意义下的.要么是2)意义下的. 如果x“久，一，气，其中a，e认。，任f(久)，i=l，…，k，那么称文法G使得序列么…叭与字符串x对应.可以对一个范畴序列施加收缩(印川m以沁n)运算(一般说来，不是单值的).这个运算通过一连申的替换实现，以甲替换形如。【巾\叫或冲/创必的子申·如果一个对应于字符串x的范畴序列古可以被收缩到一个范畴O，而且亡=0，则称G对x赋值(a洛堪出)范畴色由享绪G宇享的考亨(记作石阅”是召斌值主范畴的所有的终结符串组成的集合.类型沁\叼(或，相应地，【甲/必」)可以看作从右边(从左边)施加到O上的一个运算，运算结果是甲.在语言学中使用范畴文法就是以这个原理为基础的.这样，如果初等范畴是C(从句)和N(名词)，范畴〔N/N」可看作“形容词”(这意味着形容词可以被认为是一个从左边施加到名词上的运算，仍生成一个名词，或更确切地讲，一个名词词组)，【N\Cl被看作是一个“不及物动词”，等等.这里如果C是主范畴，如此定义的文法语言由“正规从句”组成.一个范畴文法可以变换成一个上下文无关文法(gra·n卫刃以r，context城h兄)，其要求如下:a)编辑一个非终结字典w’，组成它的范畴是赋值函数f值的元素或部分元素;b)令。。为初始符;c)作为一个规则，所有的可能的表达式取形式甲~份冲\甲」和甲~【侧剑巾，其中险\叫任w，(相应地，I咧侧任w，)，或。~a，其中。〔f(a).这使得用一种标准方式把文法定义的语言中的串对应于分量系统成为可能(见上下文相关文法(脚-n刀刀以r，context一以湘i丘此)).如此得到的上下文无关文法集的子集从语言学上得到刻画，即它的所有“文法信息”都包含在字典里.对任一上下文无关文法r可以构造一个范畴文法G与之等价(即使得L(G)=L(r))，而且在构造中可以使得赋值函数的值仅包含形如A，[A\B]及!A\【B\C】」的范畴，这里A，B，C是初等范畴.亦有简单且本质自然的方法从一个范畴文法得到一个支配文法(gran切以汀，domj抽tiI堪).【补注】最近几年对范畴文法方面的兴趣有明显提高.在范畴文法与对自然语言的形式化语句分类之间存在很强的联系.为处理范畴文法所提出的诸演算中又演算是非常出色的系统之一.这个体系很有趣，它类似于直觉蕴涵逻辑. 亦见形式语言与自动机(公rrnal】ang坦笋al篮1叨to-订坦扭).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。