喬姆斯基層級(jí)與自然語言語法①——從短語結(jié)構(gòu)語法到非轉(zhuǎn)換語法

滿海霞 梁雅夢(mèng)

(北京科技大學(xué) 大學(xué)英語系，北京 100083)

1.前言

20世紀(jì)40年代末50年代初，美蘇局勢(shì)緊張，美國(guó)政府大量培養(yǎng)俄語人才，軍方斥巨資支持機(jī)器翻譯研究，期冀對(duì)所截獲的海量俄文情報(bào)實(shí)現(xiàn)機(jī)器輔助翻譯。據(jù)以色列邏輯學(xué)家、范疇語法的創(chuàng)始人之一巴-希勒爾(Bar-Hillel，1964:1 －16)回憶，他在50年代于美訪學(xué)，主要時(shí)間都在麻省理工電子實(shí)驗(yàn)研究中心做有關(guān)機(jī)器翻譯的研究工作。喬姆斯基在《語言理論的邏輯結(jié)構(gòu)》(1975:2－3)中隱晦提到，他1955年任教MIT時(shí)，獲得了在此實(shí)驗(yàn)室做合作研究的機(jī)會(huì)，有幸做他一直想要做的那種交叉研究。我們可以推測(cè)那種交叉研究即為機(jī)器翻譯研究。因?yàn)樵谕瑫r(shí)期出版的《句法結(jié)構(gòu)》一書中，喬姆斯基提到并感謝了3位讀過該書手稿的學(xué)者，包括巴-希勒爾。可以想見，對(duì)于一位前來訪學(xué)的邏輯學(xué)家，若非研究興趣相同，又怎會(huì)請(qǐng)他來看自己的手稿且予以致謝呢。與其他單純關(guān)注機(jī)器翻譯的學(xué)者不同，喬姆斯基最感興趣的問題，始終是如何構(gòu)造、刻畫自然語言的合適語法。這一思考之于機(jī)器翻譯，可以轉(zhuǎn)化為一個(gè)更基礎(chǔ)的問題:在機(jī)器能夠?qū)崿F(xiàn)的語法中，哪種語法在生成力上恰好適合刻畫自然語言，既不過度生成、也不過低生成。喬姆斯基在此階段提出的語法的層級(jí)分類(后被命名為喬姆斯基層級(jí))是對(duì)這個(gè)問題極好的探索和回答。

2.喬姆斯基層級(jí)與自然語言

喬姆斯基將語法按照生成能力分為四種類型:0－型語法、1－型語法、2－型語法和3－型語法，相鄰類型的語法之間具有包含關(guān)系，構(gòu)成一個(gè)生成力逐漸減弱的層級(jí)結(jié)構(gòu)，如表1所示。不過，要理解喬姆斯基層級(jí)所列的各類語法、語言及相應(yīng)的改寫規(guī)則，首先需要明晰:(1)這里所討論的語言是什么語言?(2)語言和語法之間具有何種關(guān)系?

表1 喬姆斯基層級(jí)

2.1 語言與語法

“語言”通常在廣義和狹義兩種情況下被使用。狹義語言即自然語言，如漢語、英語等，哲學(xué)上稱之為日常語言，專指人類用來交流、接收和傳遞信息的表義符號(hào)串;廣義的語言概念既包括自然語言，也包括各種人工語言，如計(jì)算機(jī)科學(xué)使用的“編程語言”、邏輯學(xué)中的“一階語言”、“謂詞語言”等。喬姆斯基層級(jí)的獨(dú)到之處，在于它打破了自然語言與人工語言之間的界限，在廣義上將所有語言一致看成由許許多多符號(hào)序列組成的、有規(guī)律的大類。抽象來講，對(duì)于任意語言L，L都可以被看作一個(gè)由句子組成的集合。L中的字符串按照語法G排列組合生成L語句。語言L、語法G和L中的字符串集合(即詞庫，簡(jiǎn)記為L(zhǎng)ex)具有以下關(guān)系:

(1)L=G*Lex

在這里，G可以看作是以Lex為定義域、L為值域的函項(xiàng)。也就是說，L中的字符串按照語法G的規(guī)定排列，就能得到合G語法的L語句。如果Lex是漢語詞庫，G是漢語語法，那么生成的L就是合語法的漢語句子。因此，構(gòu)造生成語言L的語法G，就是尋找能夠從L詞庫Lex生成L的函項(xiàng)G。反過來，G能否生成L，實(shí)際上說的就是G的生成力是否匹配那種語言的實(shí)際生成要求。生成力的強(qiáng)弱，與語法受到的限制條件有關(guān)。限制條件越多，語法的生成力越弱，反之，限制條件越少，生成力就越強(qiáng)。表1中每一欄中的改寫規(guī)則相當(dāng)于對(duì)該型語法的限制條件，語法類型越高，限制條件越嚴(yán)格。0－型語法不要求參與運(yùn)算的符號(hào)之間具有任何依存關(guān)系，對(duì)于任意字符串φi和φj，都可以進(jìn)行從φi到φj的改寫。3－型語法最嚴(yán)格，要求字符串A在改寫后，終端字符串必須都在其左側(cè)(A→aB)或者都在其右側(cè)(A→Ba)。Kimball在《語法的形式理論》(1973:26)一書中指出，喬姆斯基層級(jí)所展示的語言分類說明:3－型語言最簡(jiǎn)單，或者說復(fù)雜度最低，2－型上下文無關(guān)的語言次之，1－型上下文有關(guān)的語言最復(fù)雜。構(gòu)建一個(gè)普遍語法理論所面臨的問題，是確定到底自然語言有多“復(fù)雜”。

2.2 自然語言在喬姆斯基層級(jí)上

我們首先可排除3-型語言和0-型語言，因?yàn)?-型正則語法對(duì)于自然語言來說生成力嚴(yán)重不足。因?yàn)閹缀踉谒凶匀徽Z言中，信念動(dòng)詞都允許嵌套使用，如例(2)中所示，但這種嵌套結(jié)構(gòu)所對(duì)應(yīng)的語言anbn卻不能用3－型正則語法來生成。這是計(jì)算理論研究最基本的可證事實(shí)之一。(Martin，2011)

(2)媽媽相信妹妹知道我以為……小貓把魚叼走了。

0－型不受限語法只是一個(gè)單純的描寫性的枚舉機(jī)制，它對(duì)語句生成沒有任何限制，所以利用此機(jī)制生成的不過是類似字典的語句列表，既有所有合語法的自然語言語句，也可能有不合法的語句，生成力過強(qiáng)。那么，自然語言應(yīng)該在0和3之間的哪個(gè)位置?喬姆斯基(1956)在提出語法層級(jí)構(gòu)想的同時(shí)，也拋出了這樣一個(gè)問題:如果把自然語言完全看成詞串的集合，它們是否始終落在“上下文無關(guān)語法”的范疇下?

此后，一大批語言學(xué)家在自然語言中積極尋找上下文無關(guān)語法不能生成的語言現(xiàn)象，如荷蘭語和瑞士德語中的交叉依存現(xiàn)象①在荷蘭語中，涉及多個(gè)動(dòng)詞短語的結(jié)構(gòu)經(jīng)常會(huì)呈現(xiàn)交叉依存的現(xiàn)象，比如“我看見西西莉亞喂犀?！痹诤商m語中的語序是“我－西西莉亞1－犀牛2－看見1－喂2”，兩個(gè)動(dòng)賓短語“看見西西莉亞”和“喂犀?！敝械膭?dòng)詞和賓語呈交叉狀，故稱為交叉依存。瑞士－德語指在瑞士和北意大利部分地區(qū)使用的阿爾曼方言，這種語言也允許從句中進(jìn)行這種交叉的依存嵌套。(Shierber，1985;Steedman，1996)。這些現(xiàn)象的存在說明自然語言有時(shí)候會(huì)超出上下文無關(guān)語法的生成能力，至于超出多少，Joshi(1985)以樹嫁接語法為例回答了這個(gè)問題。Joshi指出，交叉依存等典型的非上下文無關(guān)現(xiàn)象不能通過上下文無關(guān)的改寫規(guī)則得到，而是某種遞歸機(jī)制和轄域依存的直接結(jié)果，他將此類恰好描述自然語言的語法統(tǒng)稱為柔和的上下文有關(guān)語法(Mildly Context－ Sensitive Grammars，簡(jiǎn)稱 MCSG)，由柔和的上下文有關(guān)語法生成的語言為柔和的上下文有關(guān)語言，如自然語言。柔和的上下文有關(guān)語法在喬姆斯基層級(jí)上的位置如圖2所示，它包含上下文無關(guān)語法同時(shí)包含于上下文有關(guān)語法。圖1還標(biāo)示了本文將集中討論的幾種常見語法在喬姆斯基層級(jí)上的位置。以下部分我們將從短語結(jié)構(gòu)語法出發(fā)，探討轉(zhuǎn)換生成語法和非轉(zhuǎn)換語法如何分別從不同維度，突破短語結(jié)構(gòu)語法的上下文無關(guān)特征，實(shí)現(xiàn)期冀的上下文有關(guān)性。

圖1 幾種常見的自然語言語法在喬姆斯基層級(jí)上的位置② CCG為組合范疇語法，全稱為Combinatory Categorial Grammar，詳見 3.3 節(jié)。

3. 短語結(jié)構(gòu)語法及其二維延伸

3.1 短語結(jié)構(gòu)語法

短語結(jié)構(gòu)語法是最早被用于生成自然語言語句的形式語法，它由一系列形式為X→Y(讀作:X改寫為Y)的改寫規(guī)則組成，可以生成許多自然語言語句。比如，利用例(3)所給出的語法片段，我們可以反復(fù)改寫，例如(4)所示，生成簡(jiǎn)單句(5)。

(3)(i)S→NP VP;(ii)NP→DN;(iii)VP→V NP;(iv)D→the;(v)N→man，ball等;(vi)V→hit，played，等。

(4)→S→NP+VP(i)

→D+N+VP(ii)

→D+N+V+NP (iii)

→The+N+V+NP(iv)

→The+man+V+NP (v)

→The+man+hit+NP (vi)

→The+man+hit+the+ball (ii，iv，v)

(5)The man hit the ball.

還可以向例(3)添加一系列規(guī)則來充實(shí)它所表達(dá)的語法，如不及物動(dòng)詞短語的轉(zhuǎn)換規(guī)則(VP→V)、雙賓語動(dòng)詞短語的轉(zhuǎn)換規(guī)則(VP→V+NP+NP或VP→V+NP+PP)等等。但是，一旦嘗試構(gòu)造更精細(xì)的規(guī)則，短語結(jié)構(gòu)語法就會(huì)暴露出一系列問題:其一，短語結(jié)構(gòu)規(guī)則一旦對(duì)某部分語句改寫完畢，便無法回溯其生成歷史，故難以刻畫人稱一致、時(shí)態(tài)一致等一致性關(guān)系;其二，改寫規(guī)則的使用順序需予以規(guī)定，否則會(huì)生成不合法的語句，比如被動(dòng)句中主賓語調(diào)換規(guī)則要用在動(dòng)詞時(shí)體一致規(guī)則之前，否則就會(huì)造成被動(dòng)句中“施事”選擇不當(dāng);其三，并非所有的短語結(jié)構(gòu)規(guī)則都具有相同地位，有些是強(qiáng)制性的，生成語句時(shí)必須使用，有些則是選擇性的，要在其他規(guī)則使用完畢之后才能使用，甚至不必使用。如果兩類規(guī)則等同視之，會(huì)生成大量錯(cuò)誤結(jié)構(gòu)，等等。(Chomsky，1956，1957，1963)喬姆斯基認(rèn)為，這幾點(diǎn)問題歸納起來，均由于短語結(jié)構(gòu)語法的所有規(guī)則處于同一平面，導(dǎo)致既難以區(qū)分規(guī)則的使用順序，也不能回溯生成歷史。有如在平面幾何中意欲用兩條直線表達(dá)一個(gè)三維空間，無論如何擺排，都很難呈現(xiàn)空間的全貌，甚至可能丟失很多特征。倘若增加維度將平面圖變?yōu)榱Ⅲw圖，問題迎刃而解。轉(zhuǎn)換生成語法③Transformational－Generative Grammar，文獻(xiàn)中亦簡(jiǎn)稱為轉(zhuǎn)換語法(Transformational Grammar)。的思想大致如此。

3.2 轉(zhuǎn)換生成語法與非轉(zhuǎn)換語法

給定一個(gè)句子，轉(zhuǎn)換生成語法區(qū)分了“生成”和“轉(zhuǎn)換”兩個(gè)層面，首先由短語結(jié)構(gòu)語法“生成”它的基礎(chǔ)形式，然后對(duì)初始形式做一系列合語法的轉(zhuǎn)換。有的轉(zhuǎn)換是強(qiáng)制的，有的是可選擇的，前者作用在基礎(chǔ)形式上，是生成合語法語句必須做的一次或多次轉(zhuǎn)換，如主謂一致、時(shí)態(tài)變化等。經(jīng)過這類轉(zhuǎn)換得到的句子已經(jīng)合語法，組成該自然語言的中心部分，生成可以到此而止。如果對(duì)中心部分的句子繼續(xù)使用選擇型的轉(zhuǎn)換規(guī)則，便生成一些帶有衍生身份的句子，體現(xiàn)生成形式之間的衍生關(guān)聯(lián)，比如主被動(dòng)、疑問句、陳述句形式等等。(Chomsky，1956，1957)由此，轉(zhuǎn)換生成語法解決了短語結(jié)構(gòu)語法存在的幾大問題。

轉(zhuǎn)換生成語法經(jīng)過不斷修訂、更新，采用移位、合并、特征核查等手段，對(duì)自然語言的生成精度越來越高，尤其對(duì)自然語言中紛繁復(fù)雜的依存關(guān)系、不連續(xù)現(xiàn)象，轉(zhuǎn)換的方法行之有效(Carnie，2013)。但是，轉(zhuǎn)換語法雖然非常成功，計(jì)算語言學(xué)家更加關(guān)心的是:有沒有語法能夠達(dá)到同樣的生成效果，但形式上更簡(jiǎn)潔、更符合人們的直觀感受呢?回答這個(gè)問題之前，我們不妨重新看一看語言、語法和詞庫的關(guān)系等式(1)L=G*Lex。先令語法G不變，根據(jù)常識(shí)，詞庫Lex越大，生成的L語句越多，由此可知“*”單調(diào)向上。為了生成某特定的自然語言L，令L不變，已知*單調(diào)向上，語法G與詞庫Lex因此呈反比關(guān)系:詞庫承載的信息越少，語法就愈加復(fù)雜，反之，詞庫承擔(dān)內(nèi)容多一些，語法便可以相應(yīng)簡(jiǎn)便，即所謂的“大句法，小詞庫”和“小句法，大詞庫”。對(duì)于轉(zhuǎn)換生成語法來說，由于詞庫中的語詞只承載詞類等簡(jiǎn)單信息，概括語言規(guī)律、解釋和生成不規(guī)則現(xiàn)象等任務(wù)都落在語法G的身上，所以句法相對(duì)復(fù)雜。既然計(jì)算語言學(xué)家們希望生成自然語言的語法是更簡(jiǎn)單的、不使用轉(zhuǎn)換手段的語法，最直接的解決方案就是以更豐富的詞庫換取更簡(jiǎn)潔的句法。因此，20世紀(jì)70年代末80年代初，出現(xiàn)了一系列適于生成自然語言的單層詞匯主義語法，對(duì)于超出上下文無關(guān)語法生成范圍的語言現(xiàn)象，它們的生成力與轉(zhuǎn)換生成語法相等，但是部分甚至完全不使用轉(zhuǎn)換手段，被統(tǒng)稱為非轉(zhuǎn)換語法，包括組合范疇語法 CCG(Ade＆Steedman，1982;Steedman，1996，2000，2012)、線性索引語法LIG(Gazdar，1988)、詞匯功能語法 LFG(Kaplan ＆Bresnan，1982)、中心語語法 HG(Pollard，1984)，以及在HG基礎(chǔ)上發(fā)展出來的中心語驅(qū)動(dòng)短語結(jié)構(gòu)語法 HPSG(Pollard，1994;方立、吳平，2003)等，共同構(gòu)成了現(xiàn)代句法理論的非轉(zhuǎn)換部分。更重要的是，Joshi、Vijay－Shanker＆ Weir(1991)證明，這些非轉(zhuǎn)換語法弱等價(jià)于樹嫁接語法，都屬于柔和的上下文有關(guān)語法。

非轉(zhuǎn)換語法把自然語言更近似地看作另一種計(jì)算機(jī)語言、一種編碼系統(tǒng)，它們與轉(zhuǎn)換語法不同，所加工的對(duì)象不是組成語句的語詞，而是語詞背后被編碼的句法信息和句法特征。因此，每個(gè)語詞都有一張屬于自己的名片，名片上不但有對(duì)該語詞的句法行為的描述，還可能包括一致、人稱、格、時(shí)態(tài)、語義角色等特征?？傊?，名片上的信息越詳盡，留給語法的壓力就越小。雖然各語法的具體操作有所不同，但總體來講，主要原則都是將句法上的多維度需求盡可能體現(xiàn)在詞條上。本文將以信息處理性能相對(duì)較好，但在國(guó)內(nèi)知名度稍輕的組合范疇語法CCG為例，具體說明它如何構(gòu)建、規(guī)定其詞庫和句法規(guī)則，實(shí)現(xiàn)詞庫與句法規(guī)則之間的平衡。

3.3 CCG的詞匯特征與非轉(zhuǎn)換手段

Ades和Steedman(1982)指出，轉(zhuǎn)換生成語法先建立表層結(jié)構(gòu)，再通過轉(zhuǎn)換進(jìn)入深層結(jié)構(gòu)等設(shè)想不能使其成為令人滿意的分析器，去機(jī)器生成或者分析合語法語句。他們認(rèn)為，自然語言語法可能更簡(jiǎn)單，僅通過向上下文無關(guān)的語法添加一些更強(qiáng)的語法規(guī)則即可得到。他們提出了單層的組合范疇語法CCG。CCG是對(duì)與短語結(jié)構(gòu)語法弱等價(jià)的范疇語法的擴(kuò)張，它在避免語法分層的同時(shí)保證了與轉(zhuǎn)換生成語法相同的生成能力，因其能夠“從左至右”處理文本，同步構(gòu)建字符串的語義解釋，更加具有信息處理上的優(yōu)勢(shì)。

CCG包括一個(gè)范疇詞庫和若干條范疇運(yùn)算規(guī)則。在CCG詞庫中，每個(gè)詞條A被賦予一個(gè)句法范疇X，X相當(dāng)于對(duì)A的句法行為的編碼。例如，(6)a中hit的句法范疇(SNP)/NP說明hit要先后分別向右和向左結(jié)合一個(gè)名詞短語做其賓語和主語，最后生成一個(gè)語句，效果上等同于短語結(jié)構(gòu)語法從初始字符串S和NP到終端字符串A的一系列改寫規(guī)則。這樣，CCG將轉(zhuǎn)換生成語法的基本形式編碼在語詞的句法范疇之中。范疇之間最基本的運(yùn)算規(guī)則只有兩條，分別是向前和向后的函項(xiàng)應(yīng)用規(guī)則，如(6)b－c，類似乘法中的分母消去，其中X、Y代表句法范疇。

(6)a.hit|－ (SNP)/NP;b.John，Mary|－ NP

b.X/Y Y→X

c.Y XY→X

在此基礎(chǔ)上，CCG利用非轉(zhuǎn)換手段獲得類似轉(zhuǎn)換效果的方法大致有三。其一，精細(xì)化范疇所帶信息。比如為動(dòng)詞的主語論元增加下標(biāo)值agr，代表其一致性特征，那么，hit的范疇為(7)a，hits的范疇為(7)b。NP3S的下標(biāo)表示這個(gè)論元為第三人稱單數(shù)，如果hits碰到范疇為NP3S的John，則可生成合語法的句子，如果碰見范疇為NPPL的復(fù)數(shù)名詞“the men”，生成過程停止。這里最重要的一種操作是合一操作，兩個(gè)范疇如果一個(gè)帶有具體特征(如3S)，一個(gè)帶有一般特征(如agr)，那么它們合一后得到更一般的那個(gè)特征，從而實(shí)現(xiàn)性、數(shù)、格等方面的一致。其二，為詞條配備語義信息。CCG對(duì)語義的看法與轉(zhuǎn)換生成語法不同，在CCG看來，句法非但不是自治的，還與語義之間具有一個(gè)透明的接口，二者一一對(duì)應(yīng)。語義作用很重要，如，能夠體現(xiàn)句法上看似復(fù)雜的約束關(guān)系。根據(jù)約束原則，像句子“Kimi likes himself”中照應(yīng)詞“himself”要在局部小句內(nèi)受到“Kimi”的約束。在CCG中，主賓語間的這種約束關(guān)系可以直接體現(xiàn)在“hit”的語義中。(7)c為“hit”帶照應(yīng)詞為賓語的詞條(ANA表示照應(yīng)詞)。值得關(guān)注的是，其語義解釋中，“hit”的賓語論元“anay”清楚體現(xiàn)了它與主語論元y之間的照應(yīng)關(guān)系。對(duì)于在轉(zhuǎn)換生成語法中要借助照應(yīng)、空代詞等假設(shè)處理的控制動(dòng)詞、tough移位等現(xiàn)象，CCG只需修訂詞條的語義解釋即可實(shí)現(xiàn)。其三，適當(dāng)添加句法規(guī)則。例(8)是CCG向經(jīng)典范疇語法添加的函項(xiàng)的組合規(guī)則，可以直接對(duì)兩個(gè)函項(xiàng)范疇進(jìn)行貼合運(yùn)算。一般認(rèn)為，并列成分必須為相同類型，那么對(duì)于(9)中“might hit”與“l(fā)ikes”的非成分并列，僅用6(b－c)無法得到相同范疇，利用(8)，“might”(句法范疇為(SNP)/(SNP))和“hit”在句法上先運(yùn)算得到(SNP)/NP范疇的“might hit”，繼而能夠與“l(fā)ikes”并列。CCG比范疇語法增加了三條核心的函項(xiàng)運(yùn)算規(guī)則，使得CCG不必借助拷貝、刪除等手段，也能夠有效地計(jì)算非成分并列等無界依存現(xiàn)象(Ades＆Steedman，1982)。

(7)a.hit|－ (SNP+agr)/NP

b.hits|－ (SNP3S)/NP

c.hit| － (SNP+agr)/NP+ANA，+agr:λg.λy.g(hit((ana(y)(y))

(8)X/YY/Z(X/Z

(9)Kimi likes and might hit John.

4.結(jié)語

本文從喬姆斯基的語法層級(jí)觀入手，討論了語言與語法的關(guān)系，解答了自然語言語法應(yīng)該在層級(jí)上哪個(gè)位置的問題，并由此展開，說明形式句法學(xué)的轉(zhuǎn)換語法和一系列非轉(zhuǎn)換語法如何實(shí)現(xiàn)弱等價(jià)的生成力。喬姆斯基的語法層級(jí)觀蘊(yùn)含著一種潛在的邏輯，一種語言和生成它的語法不一定是一一對(duì)應(yīng)的，一種語言可能由多套語法生成，一套語法也可能適合生成多種語言。這樣去看待當(dāng)代形式句法探索自然語言語法的過程，我們得到了一幅前所未有的、更加客觀的全景圖像，它始于短語結(jié)構(gòu)語法，為喬姆斯基的“轉(zhuǎn)換語法”所逐漸取代，又因信息處理的需求而獲得了一系列非轉(zhuǎn)換的單層詞匯主義語法。衡量這些語法合適與否的一個(gè)重要平臺(tái)，就是喬姆斯基早年提出的語法層級(jí)。

為了尋找適合生成自然語言的語法，喬姆斯基揭掉了“生成自然語言的語法”(如短語結(jié)構(gòu)語法)、“生成機(jī)器語言的語法”(如上下文無關(guān)語法)或者“生成含量詞的語言的語法”(如謂詞邏輯)的標(biāo)簽，把所有語法宏觀地統(tǒng)一視之，發(fā)現(xiàn)了語法生成力的等級(jí)。遺憾的是，喬氏層級(jí)止步于此，沒能深入下去進(jìn)一步利用人工語言服務(wù)于自然語言的形式化研究。這條思路直到蒙太格語法產(chǎn)生之后才有所發(fā)展。此外，喬姆斯基層級(jí)被提出之后，并沒有在語言學(xué)界產(chǎn)生應(yīng)有的影響，就連喬姆斯基本人也鮮再提起，倒是成了計(jì)算機(jī)信息科學(xué)的一個(gè)重要概念。筆者認(rèn)為，喬姆斯基層級(jí)因其高度概括的計(jì)算性特征，對(duì)于語法研究具有很好的指導(dǎo)意義:第一，在喬姆斯基層級(jí)上，一套關(guān)于語言的合適語法能體現(xiàn)出它所在層級(jí)上那一批理論的特點(diǎn)，因此，一旦有了一套比較成熟的語法，我們就可以根據(jù)實(shí)際需求，構(gòu)造與它同層級(jí)、但在其他特定方面更加優(yōu)異的語法理論。這也是非轉(zhuǎn)換語法在轉(zhuǎn)換生成語法之后相繼產(chǎn)生的內(nèi)在依據(jù)。第二，層級(jí)上每一種語法均有其計(jì)算特性，計(jì)算語言學(xué)對(duì)某些計(jì)算特性的偏好可以引導(dǎo)語言學(xué)家對(duì)語法理論的構(gòu)造。由于喬姆斯基層級(jí)的計(jì)算特征牽涉到計(jì)算原理，由從事語言學(xué)研究的學(xué)者獨(dú)自攻堅(jiān)可謂難上加難，這就需要不斷創(chuàng)造條件，讓語言學(xué)家和計(jì)算科學(xué)家加強(qiáng)溝通與合作，才能取得令人滿意的成果。這一點(diǎn)，正是我國(guó)語言學(xué)研究所急需的。

［1］Ades，A.＆ Steedman，M.On the Order of Words［J］.Linguistics and Philosophy，1982(4).

［2］Bar－Hillel，Y.Language and Information［M］.Massachusetts:Addison-Wesley Publishing Company，1964.

［3］Carnie，A.Syntax:A Generative Introduction［M］.West Sussex:Wiley － Blackwell Publishing，2013.

［4］ Chomsky，N.Three Models for the Description of Language［J］.IRE Transactions on Information Theory，1956(2).

［5］Chomsky，N.Syntactic structures［M］.The Hague/Paris:Mouton ＆ Co，1957.

［6］Chomsky，N.On Certain Formal Properties of Grammars［J］.Information and Control，1959(2).

［7］Chomsky，N.Formal Properties of Grammars［G］//The Handbook of Mathematical Psychology.New York＆ London:John Wiley and Sons，Inc，1963:323 －418.

［8］ Chomsky，N.The logical Structure of Linguistic Theory［M］.New York＆ London:Plenum.1975.

［9］Culy，C.The Complexity of the Vocabulary of Bambara［J］.Linguistics and Philosophy，1985(8).

［10］Gazdar，G.Applicability of Indexed Grammars to Natural Languages［G］//Natural language Parsing and Linguistic Theories.Dordrecht:Reidel Publishing Company，1988:69－94.

［11］Kaplan，R.＆ Bresnan，J.Lexical-Functional Grammar:A Formal System for Grammatical Representation［G］//Bresnan J.The Mental Representation of Grammatical Relations.Cambridge，MA:The MIT Press.1982.

［12］Kimball，J.The Formal Theory of Grammar［M］.New Jersey:Prentice-Hall，Inc.1973.

［13］Joshi，A.Tree Adjoining Grammars:How Much Context-Sensitivity is Necessary for Characterizing Structural Descriptions?［G］//Natural Language Processing-Theoretical，Computational and Psychological Perspective.New York:Cambridge University Press，1985:206 －250.

［14］Joshi，A.K.，Shanker-Vijay，J.＆ D.Weir.The convergence of Mildly Context-Sensitive Grammar Formalisms［R］.1991.

［15］Martin，J.Introduction to Languages and the Theory of Computation.New York:Mc Graw Hill，2011.

［16］ Pollard，C.Generalzied Phrase Structure Grammars，Head Grammars and Natural Language［D］.Stanford U-niversity，1984.

［17］Pollard，C.＆ I.Sag Head-driven Phrase Structure Grammar［M］.Chicago＆ London:The University of Chicago Press，1994.

［18］Pullum，G.＆ Gazdar，G.Natural Languages and Context-Free Languages［J］.Linguistics and Philosophy:1982(4).

［19］Shieber，S.Evidence against the Context-freeness of Natural language［J］.Linguistics and Philosophy:1985(8).

［20］Steedman，M.Surface Structure and Interpretation［M］.Cambridge ＆ London:MIT Press，1996.

［21］Steedman，M.The Syntactic Process［M］.Cambridge＆London:MIT Press，2000.

［22］Steedman，M.Scope taking:the Natural Semantics of Quantifiers ［M］. Cambridge ＆ London: MIT Press，2012.

［23］方立，吳平.中心語驅(qū)動(dòng)短語結(jié)構(gòu)語法評(píng)介［J］.語言教學(xué)與研究，2003(5).

［24］滿海霞.組合范疇語法及其計(jì)算性特征［J］.畢節(jié)學(xué)院學(xué)報(bào)，2013(6).

［25］滿海霞.關(guān)于邏輯語義學(xué)的句法系統(tǒng)［J］.安徽大學(xué)學(xué)報(bào)，2014(4).