（外国语言学及应用语言学专业论文）核查理论的计算机运用.pdf

中文摘要 生成语法经过几十年的发展己进入最简方案阶段，计算语言学作为一门新兴的边 缘学科，也已展现出强大的生命力和吸引力。在这种背景下，本文作者产生了用计算 机去实现最简方案中个重要理论一核查理论的构想，并使之得以实现。文章首先概 述了生成语法的性质、概念，介绍了核查理论的内容，运用该理论对句子进行分析， 同时介绍了计算语言学的相关内容：它的发展背景、含义、发展阶段，利用表格和公 式详细介绍了对词汇进行计算机分析的操作技术如语法框架、词汇选择等。在此基础 上，作者分析了核查理论与计算机操作技术相结合的可能性：对自然语言进行计算机 处理一般需经过四个步骤，通过分析，用计算机去实现核查理论是符合这四个步骤的， 有实现的可能性。c + + 语言是当今使用较广、效率较高的编程语言，因此被选作为实现 本文设想的编程语言。作者通过与计算机人员的合作，编写了核查理论的计算机运用 程序，将程序步骤和实现用图表直观地展现出来。程序执行后，计算机可自动完成对输 入句子合法性的判断。本文以核查理论为一个切入点，旨在促使语言学家和计算机专 家能更多合作，从而促进核查理论和计算语言学的进一步发展 关键词：最简方案；计算语言学；核查理论；c + + 语言 i x a b s t r a c t g e n e r a t i v eg r a m m a rh a sd e v e l o p e di n t ot h es t a g eo fm i n i m a l i s tp r o g r a mi ns e v e r a l d o z e n so fy e a r s m e a n w h i l e ，c o m p u t a t i o n a ll i n g u i s t i c sh a ss h o w ng r e a tv i t a l i t ya n d c r e a t i v i t y o nt h eb a c k g r o u n d ，t h ea u t h o rh a st h ea t t e m p t t oc o m b i n et h ec h e c k i n gt h e o r y w i t ht h ec o m p u t e r t h et h e s i si n t r o d u c e st h en a t u r e ，d e f i n i t i o na n dd e v e l o p m e n to ft h e g e n e r a t i v eg r a m m a r , i l l u s t r a t e st h eb a c k g r o u n do f t h ec h e c k i n gt h e o r ya n dg i v e sad e t a i l e d i n t r o d u c t i o no ft h eb a s i cc o n c e p t i o n s ，c o n t e n ta n da p p l i c a t i o no ft h ec h e c k i n gt h e o r y t h e t h e s i sa l s oi n t r o d u c e st h ed e f i n i t i o na n dd e v e l o p m e n to fc o m p u t a t i o n a ll i n g u i s t i c sa n d d i s p l a y st h eo p e r a t i o ns k i l l so f t h em o r p h o l o g ya n a l y s i sb yc o m p u t e r ss u c ha st h ec h o i c eo f v o c a b u l a r ya n dt h eg r a m m a t i c a lf l a m e o nt h eb a s i so ft h ea b o v ei n t r o d u c t i o n ，t h et h e s i s a n a l y z e st h ep o s s i b i l i t yo fc o m b i n i n gc h e c k i n gt h e o r yw i t hc o m p u t e r sa c c o r d i n gt ot h e f o u rs t e p so ft h et r e a t m e n to fn a t u r a ll a n g u a g eb yc o m p u t e r s ，a n dg e t st h ec o n c l u s i o n ：t h e p o s s i b i l i t yi sf e a s i b l e t h ec + + l a n g u a g ei sap r o g r a m m i n gl a n g u a g ew i t hh i g he f f i c i e n c y a n dw i d eu s e t h u si ti sc h o s e nt od ot h ep r o g r a m m i n gj o b w i t ht h ec o o p e r a t i o nw i t ht h e s t u d e n t sm a j o r i n gi nc o m p u t e r s ，t h ep o s s i b i l i t yh a sb e c o m et h er e a l i t y b yt h ep r o g r a m ，a n i n p u ts e n t e n c ec a nb ej u d g e dg r a m m a t i c a lo ru n g r a n u n a t i c a la u t o m a t i c a l l yb yc o m p u t e r s t h et h e s i si sf o rt h ep u r p o s et ob r i d g et h el i n g u i s t i c sa n dc o m p u t e rs c i e n c ea n dm a k e c o n t d b n t i o n st ot h ed e v e l o p m e n to f t h ec h e c k i n gt h e o r ya n dc o m p u t a t i o n a ll i n g u i s t i c s k e yw o r d s ： m i n i m a l i s tp r o g r a m ；c o m p u t a t i o n a ls c i e n c e ；c h e c k i n gt h e o r y ；c + + l a n g u a g e x 月i j 舌 本论文题为核查理论的计算机运用。选择该研究课题，是希望能够将转换生成语法 中的核查理论与计算机相结合，通过算法将核查理论程序化，并通过一系列检验调试使 其在计算机上得以实现。核查理论还处于发展期，在很多方面不够完善。将它与计算机 结合可以获得新启发，吸收新鲜血液，有利于它的进一步发展，同时也能促进计算语言 学的发展，为我国计算语言学的发展做出贡献。 全文分为六个章节对其进行阐述和论证。第一章是绪论部分，介绍了生成语法及其 发展，计算语言学的概况和本论文的结构。第二章介绍了核查理论的发展背景，核查理 论中的一些基本概念，以及核查理论的内容及其运用。第三章介绍了计算语言学的定义， 发展历史，以及用计算机进行词汇分析的一些方法。第四章分析了核查理论计算机运用 的可能性。第五章是用c + + 语言实现核查理论计算机运用的过程。第六章是结论，分析了 本论文的意义和局限性，并展望了其美好前景 生成语法的早期研究源于2 0 世纪的形式科学的发展，并将研究重点放在找出一个形 式化的框架来描述自然语言的共性。它是人们认识客观真理，逐步逼近客观真理的一个 阶段性理论总结。该理论一直处于变化发展之中。 1 9 9 2 年，乔姆斯基写出“语言理论的最简方案”一文，标志着生成语法进入了一个 新的阶段一最简方案阶段。最简方案对以前的理论进行了较大幅度的修改。首先，乔姆 斯基明确地把句法分为词库和计算系统两大部分，并把参数变异限制在词库部分。其次， 词库与参数变异有关的部分又被局限于两个主要的方面。一是概念与声音结合的方式， 由于这种结合有约定俗成性，即所谓的“索绪尔任意性”，所以成为语言差异的一个重要 来源；另一主要方面则是词库的形态特征，即常规意义上的形态。严格来讲，形态规则 和句法规则一样有递归性，即可以反复运用，因此不完全属于词库；然而，形态规则又 直接作用于词项，所以与词库有关。 最简方案提出了一个核查理论。核查理论把词库里的词项看作其一切特征的集合， 如一动词被看作为由该动词所有屈折形式构成的复合体。词库里的词项在进入计算系统 后必须受到核查，核查的方式是把词项嫁接到计算系统的功能性语类上。功能性语类在 核查的时候把屈折形式去掉，只留下相匹配的复合体，并且复合体进入音系式部分进行 “拼读”。核查理论受到经济原则的制约，而经济原则要求它在尽可能不作显性移位的条 件下向音系式和逻辑式输送合格的形式。为了满足这个原则，屈折特征强的语言移位发 i i 生在拼读之前( 表现为显性移位) ，屈折特征弱的语言核查发生在拼读之后( 表现为隐性 移位) 。换句话说，按照这个处理方法，屈折形态在词库中出现，计算系统的任务是对它 们进行核查，并根据特征的强弱决定与其相关的成分是做显性的还是隐性的移位。从这 个角度来看，计算系统是没有变异的，变异除索绪尔任意性外主要是由词库的形态特征 ( 即屈折特征的强弱) 决定的。把变异局限于词库，把参数的设置控制在语言中可觉察 的部分( 主要是形态特性) ，这就是“最简方案”模型中的一个核心性的改革。 r a d f o r d 在他的句法理论和英语结构一书中，将核查理论的过程进行了形式化， 使其成为可以具体操作的过程。对于输入的句子，画出树形图，标出句中词语的词性和 它的标志语，中心语和补语特征，然后根据核查理论的内容，将中心语的标志语特征和标 志语的中心语特征核查，将中心语的补语特征和补语的中心语特征核查，有相应成分的 则消去，保留可解释的成分而删去不可解释的成分。核查理论有其现实的应用意义：对 一个输入的英语句子，根据核查理论，可以客观地而不是单凭本族人的直觉来判断句子 是否正确，从而使语言的判断更加科学化和标准化。具体分析过程将在论文中有详细介 绍。 计算语言学是用计算机研究和处理自然语言的- - l q 新兴的边缘学科。由于计算语言 学的研究对象是自然语言，因此，语言学家把它视为语言学的一个分支；由于计算语言 学要采用先进的计算机科学技术来研究和处理自然语言，因此，计算机科学家把它视为 计算机科学的个分支；由于计算语言学要研究自然语言的形式结构和自然语言处理的 算法，因此，数学家把它视为应用数学的个分支。这种情况表明，计算语言学不是一 门单纯的学科，而是一门边缘学科。 在计算语言学发展期，各种计算语言学的理论逐渐成熟，出现了大批理论成果。 乔姆斯基的形式语言理论是早期计算语言学中影响最大的句法理论。2 0 世纪5 0 年代末， 乔姆斯基提出了转换生成语法。7 0 年代以来他又提出管辖约束理论来限制转换生成语法 过强的生成能力。1 9 6 9 年，厄尔利提出了厄尔利算法，把自底向上分析与自顶向下分析 结合起来，提高了分析效率。1 9 8 0 年，马丁提出了线图分析法，为短语结构语法的自动 分析提供了一种较好的控制方法。1 9 8 5 年， 下文无关文法的高效的自然语言剖析算法。 富田胜提出了富田胜算法，这是一种基于上 这些都为自然语言自动句法分析提供了理论 基础。这些基础理论的研究，为计算语言学的进一步发展奠定了坚实的理论基础。计算 语言学的发展表明，这一学科的进步不仅有利于机器翻译技术的进步，而且在当今世界 i 言。在形式语言理论中，语言被看成是一个抽象的数学系统。乔姆斯基把它定义为：按 定规律构成的句子或符号串的有限或无限的集合。通常有三种途径来描述：( 1 ) 把语 言中的句子穷尽的枚举出来。( 2 ) 用句法来生成语言中无限的句子，而且只生成那些? 合 格”的句子。( 3 ) 通过自动机对输入的语符进行检验，区别哪些是语言中的句子，哪些 不是语言中的句子。研究形式语法有其必要性：它是使语言学从描述性走向定性的唯一 途径；是使自然语言成为现代化信息社会的媒体的技术支柱，可按信息流处理；可帮助 人们从纷乱复杂的表面中整理出有序的规律，有严格的推理步骤；可向自然语言处理提 供先进的手段，因为计算机要对自然语言进行句法分析，首先要对语言研究的结果进行 形式化的手段，在对自然语言形式化的基础上才能进一步分析。形式语法具有以下四个 部分：一个辅助词汇的有限集合一非终端语符集，有时也称变量，它相当于各种句法范 畴；一个基本词汇的有限集合一终端语符集，若语法生成的是自然语言，这些终端语符 就相当于这种语言中一个个具体的词，终端语符就是这种语言的词典或词库；一组由有 限个重写规则组成的规则集；起始符。形式语法具有以下特点：高度的形式化和抽象化； 它是一套演绎系统；具有算法的特点。在形式语言学理论中，语言系统是一个抽象的符 号系统，乔姆斯基进步对形式文法进行了分类，分别为0 型文法、i 型文法、2 型文法 和3 型文法。在这些理论基础上产生了自动识别装置的机器一自动机。根据不同的构成 和功能，自动机可以分为以下四种：图灵机，下推自动机，线形有界自动机，有限自动 机。根据形式语法的定义和生成语法的特点可以看出，生成语法属于形式语言学，而核 查理论又是生成语法的一部分，因此，核查理论能够被形式化。第三步，用数学或近似 数学的形式表现出来。核查理论的内容就是一种可以操作的步骤。第四步，将这一过程 用程序语言编写出来，得到核查理论在计算机上的实现。 分析了核查理论计算机运用可能性后，就要考虑选择何种语言编写将其实现。根据各 种不同程序语言的特点，c + + 语言以其编程效率高，使用广泛，而被选用作为编程语言。 c 十+ 语言是在影响深远的c 语言基础上发展起来的，在增加对于面向对象方法的支持的 同时，还继承了传统程序设计语言c 的优点，克服了其不足之处，使得自身既适用于结 构化程序设计，又能满足面向对象程序设计的要求。c 语言是结构化的程序设计语言； 兼具高级语言与汇编语言的特点；程序的可移植性好；语法结构不严密，有自由度。c + + 是c 语言的超集；是面向对象的程序设计语言；程序设计的可扩充性强。本文的核查理 论应用程序是采用c + + b u i l d e r 编译环境编写、调试的，b o r l a n dc + + b u i l d e r 是b o r l a n d v i 句”，如果换成h o p e 则不定式分旬必须换成限定从属分句。语法框架在计算语言学中是很 重要的概念。在进行语法分析时，它使计算机能够识别出哪些语句合乎语法，哪些语句有 语法错误。同样，在机器翻译文本生成时，计算机必须知道动词的语法框架才能够产生合 乎语法的语句。通常，语法框架是由自然语言处理系统的设计者事先人工编撰好的，这需 要大量的精力和专家知识，而且，设计者是不可能穷尽所有的动词及其语法框架的，计算 机一旦遇到新的词汇或新的语法框架，就不能采取合适的处理。语法框架的自动学习是解 决这个问题的一个方法。布兰特在文献中描述了基于语料库的学习系统l e a r n e r ，它 能够自动获取动词的语法框架。语法框架的自动学习主要有两个步骤：第一，语料库中 相关数据的采集，第二，对相关数据建立相关统计模型。二是词汇选择。及物动词对其 携带的宾语做出选择。如何自动地获得这种词汇选择关系，是语言学习的一个重要课题。 “共现计分”是用来估计动词和可能作其宾语的名词之间的关联程度。所谓共现计分实 际上是对动词及其宾语之间的互信息的估计。互信息用于表示两个随机变量之间的相关 性，因此，如果某一动词和名词之间的互信息超过某一数值，便可建立该动词对名词的选 择。然而这种方法只发现了词与词之间的选择关系，通常一个动词选择一类名词，为此定 义了动词和名词集之间的关联计分。仅仅定义了关联计分是不够的，不可能对每一个动词 穷尽所有的名词来搜索其宾语。莱斯尼克提出了解决这个问题的方法，运用了w o f l d n e t 。 词汇的计算机处理对于深化本课题，有着非常重要的作用。 核查理论的特点与计算语言学的迅猛发展使本文的作者想将两者结合，运用程序语 言将核查理论通过计算机实现核查步骤。冯志伟在计算语言学基础中指出，一般地 说，计算机对自然语言的研究和处理应当经过如下四个过程：第一，从语言学的角度提 出自然语言处理的问题和理论；第二，把需要研究的语言加以形式化，使之能以一定的 数学形式或者接近数学的形式，严格而规整地表示出来；第三，把严格而规整的数学形 式表示为算法，使之在计算上形式化；第四，根据算法编写计算机程序，使之在计算机 上加以实现。 因此要看核查理论是否能通过计算机实现，就要看是否满足以上的四个步骤。首先 第一步从语言学的角度提出要处理的理论为核查理论；第二步，将这一理论形式化。要 形式化，要看核查理论是否属于形式语言学。形式语言学，也称代数语言学，研究一般 的抽象符号系统，运用形式模型对语言( 包括人工语言和自然语言) 进行理论上的分析 和描写。形式语言理论的研究对象，除了自然语言之外，还包括程序语言和其它人工语 v 上，它有着重大的理论意义和现实意义。同时计算语言学在机器翻译、信息检索、人机 接口等信息处理领域有着广泛的应用前景，意义非凡。从1 9 8 9 年起，计算语言学进入了 大规模真实文本处理的新时期。这个新时期的重要标志是在基于规则的技术中引入了语 料库，其中包括统计方法、基于实例的方法、通过语料加工手段使语料库转化为语言知 识库的方法等。2 0 世纪8 0 年代初，马莎设计了第一个用统计方法的词性标注系统 c l a w s ，对l o b 语料库进行自动标注，使标注正确率提高到9 7 。如果把基于规则的 方法与基于统计的方法结合，必定会推动计算语言学的进一步发展。 计算语言学的发展促使词汇的计算机处理不断成熟与完善。根据定的词法规则对 源句中的每个单词进行分析，得到每个变形单词的原形词和变化的词法属性或得到它的 词根，由此获得该单词的词法属性，也就是分析单词的构成特点。英语属于屈折语，对 屈折语进行词法分析主要是因为屈折语词形变化丰富，这样可减少词典入口词数量，识 别词法范畴信息，具备识别生词的功能，从而在一定程度上解决歧义。对英语进行语法 分析可以分析到两种程度：词干层和词根层。主要有三种分析方法：l 描述性的词法分析。 实现形式是为每一个单词及其各种变形词都设一个词典的入口，词法分析过程根据词典 的索引和搜索算法，查询词典，寻找该单词所存储的信息，从而得到该单词的语法和语 义属性。其特点是：实际上相当于一个字典检索过程，在词汇量较小情况下，分析非常 简单，结果可靠。缺点：当词汇量增大时，要为每个字典设立一个入口，不但所需要的 空间大，而且耗费时间也多。2 过程性的词法分析。过程性的词法分析为每一个原形单词 及其变形的单词共享一个入口。因为屈折语的词的变形是一个有规律的独立过程，可以 单独处理。根据词的变形规律，对当前的词进行处理，根据变形特征和它的原形词在字 典中的属性得到它的语法属性和语义信息。优点：减少了词典入口的数量和词典的存储 空间，提高了词典的检索速度。缺点：算法不易修改和维护，并且不易扩充到其它语种， 同时，屈折语词形变化丰富，要有上千条比较语句才能处理完所有的词性变化，词法分 析的效率很低。3 基于规则的词法分析。基本思想是把词的构成形式分为两个层次：表层 形式和深层形式。词法分析就是根据这些规则寻找单词的表层形式和深层形式之间的映 射。优点：程序的可移植性好，分析效率高。在此基础上，出现了各种通用的或针对特 定语言的词法分析方法。 自然语言的计算机处理需至少解决两个问题：一是语法框架。在英语中，不同的动 词可带的补足成分的语法属性各不相同。例如，动词w a n t 后面可跟“s b + 一个不定式分 公司9 8 年推出的全新3 2 位w i n d o w s 开发工具，它不仅继承了d e l p h i 使用简便，功能强 大，效率高等特点，而且还结合c + + 语言所有优点。c + + b u i l d e r 可以说是至今最好的 w i n d o w s 开发工具。 该程序分为三大部分：头文件，主文件和函数文件。头文件包含一些变量与组件及组 件申明以及自定义函数申明。主文件包含程序流程的主体结构，按顺序执行预先定义好顺 序的步骤。为了使程序简洁，将一些经常要重复使用的操作作为函数在主文件中予以调 用。函数的具体实现部分放在函数文件中。在程序实现部分给出了运行流程图，首先是 输入句子，然后输入各成分特征，按g o 键程序开始运行，对句子进行核查。核查过程 是依据核查理论用c + + 语言编写的程序进行的。核查完毕显示核查结果，即输入句子是 合法还是不合法，并结束该程序。具体程序过程可见论文。 计算语言学的研究一直在促进着两个重要学科的发展：一是计算机科学，二是语言 学本身。首先，研究如何用计算机进行自然语言处理已经成为计算机科学的一个重要领 域，计算机科学的博士论文有相当大分量集中在自然语言处理方面。另方面，语言学 也一直从计算机科学的发展中汲取灵感和方法。计算语言学作为横跨语言学与计算机科 学之间的学科，在这两门学科之间建立起一个相互沟通的桥梁。 计算语言学是- - f 新兴的发展着的科学，有着良好的前景和广泛的应用领域。但同 时又面临着困难。首先，自然语言是活生生的人的行为，它受到人的心理因素的巨大影 响。人对事物的指认，包括语言指称，有以个人亲身经验为基础的因素，而计算机根本 就谈不上亲身经验。人脑的工作原理至今还没有完全搞清楚，目前计算机的工作原理完 全不同于人脑，它没有情感，没有经验基础。人脑和计算机的这种本质区别恐怕是一道 不可逾越的障碍。j l t ? c b ，自然语言的意义及其对它的理解还要受到其他非语言因素的影 响。而且世间并不是一切事物都能形式化的，即使可以形式化，也不一定都是可计算的。 同时，核查理论的发展才刚刚开始，还处于不成熟时期，有待进一步发展。 尽管如此，计算语言学还是有着诱人的发展前景和应用领域。一方面，计算语言学 的成果被越来越广泛地应用于各个领域。同时，计算语言学又成为带动语言学发展的动 因，形式化已经成为语言学许多领域的发展方向。语言学工作者不必是编程专家，但他 必须理解和吸收程序设计的基本思想，完成形式化的任务，为程序设计，编码，解码打 下语言学基础。计算机专家和语言学家的紧密合作，必将促进语言学的进一步发展。 计算语言学的不足以及生成语法中核查理论的不成熟，再有本文作者在计算机方面 的非专业化，使得本文的研究只能是初步尝试。该课题的不断完善还有待语言学家、计 算机专家和有关研究人员的深入和研究。 v i i i 学位论文独创性声明 本人郑重声明： 1 、坚持以“求实、创新”的科学精神从事研究工作。 2 、本论文是我个人在导师指导下进行的研究工作和取得的研究成果。 3 、本论文中除引文外，所有实验、数据和有关材料均是真实的。 4 、本论文中除引文和致谢的内容外，不包含其他人或其它机构已经发表或 撰写过的研究成果。 5 、其他同志对本研究所做的贡献均已在论文中作了声明并表示了谢意。 作者签名：垩送 j - ， 、 日期：7 a 冠呼私列 学位论文使用授权声明 本人完全了解南京师范大学权关保留、使用学位论文的规定，学校有权保 留学位论文并向国家主管部门或其指定机构送交论文的电子版和纸质版；有权 将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆被查阅；有 权将学位论文的内容编入有关数据库进行检索；有权将学位论文的标题和摘要 汇编出版。保密的学位论文在解密后适用本规定。 作者签名：罂美 一 z o 日 期：2 型垒笙g a c k n o w l e d g e m e n t 1w o u l dl i k et og i v em yh e a r t f e l tt h a n k st om yf a c u l t ys u p e r v i s o r , p r o f h u a n gh e b i n ， w h o s eb r i l l i a n tl e c t u r e si n i t i a t e dm ei n t os y n t a c t i ct h e o r i e sa n di n t e r e s t e dm es om u c h w i t h o u th i sg r e a tp a t i e n c e ，d e t a i l e di n s t r u c t i o n sa n dl o n g t e r me n c o u r a g e m e n t ，i ti s i m p o s s i b l et of i n i s ht h i sp a p e r ia l s ot h a n kp r o f z h a n gj i e ，p r o f g uj i a z u ，p r o f g a ow e i z h e n g ，p r o l vj u n ，p r o c h e n gq i l o n ga n dp r o f c h e nx i n ，f r o mw h o s el e c t u r e sih a v el e a r n e da l o t m yt h a n k sa r ea l s og i v e nt oa l lt h ef a c u l t i e si nt h ee n g l i s hd e p a r t m e n t t h e ya r e i n s p i r i n gt e a c h e r sa n dh a v eg i v e nm e al o to fh e l p a tl a s t ，ia md e e p l yg r a t e f u lt om yb o y f r i e n dw h oh a sh e l p e dm eal o ti nt h ec o r ep a r t o f t h et h e s i sa n dm yf a m i l yw h o s el o v es u p p o r tm ea l lt h et i m e c h a p t e r l i n t r o d u c t i o n 1 1g e n e r a t i v eg r a m m a r t r a n s f o r m a t i o n a lg e n e r a t i v eg r a m m a r ( s h o r t e n e da st g ) i sf o u n d e di n19 5 0 sb y c h o m s k y , ag r e a ta m e r i c a nl i n g u i s t i n1 9 5 4h ew r o t et h eb o o kt h el o g i c a ls t r u c t u r eo f l a n g u a g et h e o r y ，w h i c hw a sc o m p l e t e di n1 9 5 5 t h a tb o o kl a i daf o u n d a t i o nf o rt g w h o s ei d e a sw e r em o s t l ym a n i f e s t e di ns y n t a c t i cs t r u c t u r e c h o m s k y sv i e w p o i n t s w e r ei n f l u e n c e db yf r e n c hp h i l o s o p h e rr d e s c a r t e sa n dh a f t s n o w a d a y si nw e s t e r n l i n g u i s t i cf i e l d ，t gi s o n eo ft h em o s ti n f l u e n t i a lt h e o d e s p e o p l eb e l i e v et h a tt g h i s t o r i c a l c o m p a r i s o nl i n g u i s t i c sa n ds t r u c t u r a ll i n g u i s t i c sr e p r e s e n tt h et h r e em a i n p e r i o d st h a tt h em o d e ml i n g u i s t i c sh a sg o n et h r o u g h t gt h e o r yh a sh a dad i r e c to r i n d i r e c te f f e c to nm a n ys u b j e c t ss u c ha sc o m p u t a t i o n a ll i n g u i s t i c s ，c o g n i t i v ep s y c h o l o g y , s o c i o l o g y , l a n g u a g et e a c h i n ga n ds oo n c h o m s k yh a sg r e a t l ye n l a r g e dt h ec a t e g o r yo f m a t h e m a t i c a ll i n g u i s t i c sa n do p e n e du par e s e a r c h i n gf i e l dn o to n l yf o rl i n g u i s t i c sb u t f o rl o g i c i a n s ，m a t h e m a t i c i a n sa n dp s y c h o l o g i s t s ( r i j 颖，2 0 0 2 ：4 4 ) 1 1 1a c o g n i t i v ef a c u l t y g e n e r a t i v eg r a m m a ri sat h e o r yo fl i n g u i s t i c si nw h i c hg r a t n n l a ri sv i e w e da sa c o g n i t i v ef a c u l t y l a n g u a g ei sg e n e r a t e db yas e to fr u l e so rp r o c e d u r e s i ti sak i n do f s t u d yo nh u m a nb e i n g sm e c h a n i s mo fb r a i n s ，w h i c hi sb a s e do na b s t r a c tp e r s p e c t i v e ( c a r n i e ，2 0 0 2 ：2 0 ) b e c a u s eo f t h e r eb e i n gac o g n i t i v ef a c u l t y , l a n g u a g ei sc r e a t i v e ? a l m o s te v e r yt i m e y o us p e a ky o ug e n e r a t eas e n t e n c et h a th a sn e v e rb e e nu t t e r e db e f o r e t h e r ea r ea n i n f i n i t en u m b e ro fp o s s i b l es e n t e n c e s ，t h u sa ni n f i n i t ei n p u t a st h e r ei sa ni n f i n i t e n u m b e ro f i n p u t s ，i ti si m p o s s i b l et oh e a ra l lt h et h i n g si ny o u rl i f e t i m e ，l e ta l o n ei nt h e f o u rt os i xy e a r st h a ti tt a k e sy o ut om a s t e ry o u rn a t i v el a n g u a g e i n f i n i t es y s t e m sa r e u n l e a r n a b l e ，b e c a u s ey o uc o u l dn e v e rh a v ee n o u g hi n p u t st oa s s u r ey o uo fa l lt h e r e l e v a n tf a c t s ac h i l dw h oi si n h e a l t h ym e n t a ls t a t e c a l la c q u i r eo n eo rs e v e r a l l a n g u a g e sw i t h o u tm u c he f f o r tb a s e do nl i m i t e da n df r a g m e n t a r yl a n g u a g ee x p e r i e n c e i nas h o r tp e r i o do ft i m e a n do ft h ek n o w l e d g em a s t e r e db yap e r s o n ，s o m ei sn o t a c q u i r e db yt e a c h i n gs u g g e s t i o n o rg u i d a n c e ，b u ta c q u i r e dn a t u r a l l y ( 徐杰，2 0 0 1 ：2 1 2 2 ) t gb e l i e v e st h a tl a n g u a g ei t s e l fi sn o tt h er e a lm a t t e ri nt h er e a lw o r l d ，b u ti s g e n e r a t e db yg r a m m a r s i ti st h eg e n e r a t i v en a t u r eo ft h eg r a m m a rt h a tc a u s e st h e c r e a t i v i t ya n di n d e f i n i t e n e s so fl a n g u a g e t h a ti s t os a y , g r a m m a rr u l e sa r el i m i t e d w h i l et h en u m b e ro fs e n t e n c e si sl i m i t l e s s l i m i t e dg r a m m a rr u l e sc a ng e n e r a t e l i m i t l e s ss e n t e n c e s ( 俞如珍，金顺德，2 0 0 2 ：2 0 ) 1 1 2 s y n t a x s y n t a xa sg e n e r a l l yd e f i n e d ，i st h es t u d yo fh o ws e n t e n c e sa r ep r o p e r l yf o r m e do u t o fw o r d so fal a n g u a g e f o rt h o s ew h oa r ei n t e r e s t e di na b s t r a c tf o r m a ls y s t e m sl i k e f o r m a ll o g i c s ，s y n t a xi st h es t u d yo f t h es t r u c t u r a lp r o p e a i e so f w e l l f o r m e df o r m u l a so f t h a ts y s t e m i ti n c l u d e sac o m p l e t es p e c i f i c a t i o no ft h ep r i m i t i v es y m b o l st h a ta r e a c c e p t e da st h eb a s i cv o c a b u l a r ya n dt h ef o r m a t i o nr u l e sb yw h i c ht h e s es y m b o l sa r e c o m b i n e dt of o r maw e l l f o r m e df o r m u l a ( h uz h u a n g l i n ，2 0 0 2 ：4 8 ) f o rl i n g u i s t s ，g r a m m a r , t h eo v e r a l ld e s c r i p t i o no fh u m a nl a n g u a g e ，c o n s i s t so f t h r e ec o m p o n e n t s ：1 ) p h o n o l o g y , t os p e c i f yp r o n u n c i a t i o no fs e n t e n c e s ；2 ) s y n t a x ，t o s p e c i f yt h ep r o p e rc o n s t r u c t i o no fs e n t e n c e sa n d3 ) s e m a n t i c s ，t os p e c i f yt h em e a n i n go f s e n t e n c e s a m o n gt h et h r e ec o m p o n e n t so fg r a m m a r , s y n t a xi st h eg e n e r a t i v ep a r t ， h e n c e ，g e n e r a t i v eg r a m m a r , i nt h es e n s et h a ti ti sr e s p o n s i b l ef o rg e n e r a t i n gs e n t e n c e s t h a ta r er e g a r d e da sg r a m m a t i c a l l yw e l l - f o r m e di nt h el a n g u a g e ag e n e r a t i v eg r a n m n a r o fs o m el a n g u a g ei sas y s t e mo fr u l e sa n dp r i n c i p l e st h a ta r ea tt h eb o u o mo fa l l g r a m m a t i c a ls e n t e n c e so ft h el a n g u a g e i no t h e rw o r d s ，i tg e n e r a t e st h es e n t e n c e so ft h e l a n g u a g e a n di t i s g o i n gt of i n dh o wt h ec h i l d r e n ，b a s e do nt h es i m p l eo r i g i n a l g r a m m a r , d e d u c et h ec o m p l e xa d u l tg r a m m a rs y s t e m si nal i m i t e de x t e r n a ll a n g u a g e e n v i r o n m e n t 1 1 3t h e d e v e l o p m e n t ：t h r e et h e o r e t i c a lm o d e l s t h es t u d yo ng e n e r a t i v eg r a m m a rw h i c hs t a r t e di n1 9 5 0 sh a sc o n t i n u e dt ot h i s d a y t h i st h e o r y h a sh a dm a n yd i f f e r e n tn a m e s t h r o u g h i t s d e v e l o p m e n t ： t r a n s f o r m a t i o n a lg r a m m a r ( t g ) ，t r a n s f o r m a t i o n a lg e n e r a t i v eg r a m m a r , s t a n d a r d t h e o r y , e x t e n d e ds t a n d a r dt h e o r y , g o v e r n m e n ta n db i n d i n gt h e o r