圖3 覆蓋形容詞短語內(nèi)部組成成分細(xì)節(jié)的FSA語法的FSA語法的一部分

圖2和圖3中的自動(dòng)機(jī)可以組合成一個(gè)單一的更大的名詞組識(shí)別器。這個(gè)識(shí)別器以NG自動(dòng)機(jī)開始，迭代地把每個(gè)參照展開為其他規(guī)則或自動(dòng)機(jī)。因?yàn)檫@些參照中沒有一個(gè)是遞歸的，即AdjP的展開不必參照AdjP，所以這樣的展開是可能的。

但是，如果建立一個(gè)更復(fù)雜的英語語法，就會(huì)出現(xiàn)這種遞歸。例如，在關(guān)系從句和其他名詞后修飾語的規(guī)則中，定義一個(gè)完整的NP需要參照其他NP。

處理遞歸的一個(gè)方法是限制遞歸的數(shù)量，只允許有限數(shù)量的遞歸。FASTUS就是這樣做的。在FASTUS中使用了層疊式自動(dòng)機(jī)，一層一層地從較小的名詞組逐漸構(gòu)成較大的名詞組，這樣就限制了遞歸在每個(gè)層次中的數(shù)量。FASTUS的第二層發(fā)現(xiàn)非遞歸的名詞組；第三層把這些名詞組加上度量短語，結(jié)合成更大的像NP那樣的單位：

20, 000 iron and "metal wood" clubs a month

然后再附加上介詞短語：

production of 20, 000 iron and "metal wood" clubs a month

再處理名詞組連接詞：

a local concern and a Japanese trading house

在一個(gè)單層的系統(tǒng)中，這些現(xiàn)象的每個(gè)都分別要求遞歸規(guī)則（例如，NP→NP and NP）。但是，如果把剖析分解成兩個(gè)層次，F(xiàn)ASTUS就可以把規(guī)則左手邊的一個(gè)NP作為不同種類的對(duì)象來處理，也就是說，把規(guī)則左手邊的一個(gè)NP作為規(guī)則右手邊的兩個(gè)NP來處理。

處理遞歸的第二種方法是使用貌似有限狀態(tài)而實(shí)際上并非有限狀態(tài)的模型。其中的一個(gè)模型是遞歸轉(zhuǎn)移網(wǎng)絡(luò)（Recursive Transition Network,簡(jiǎn)稱RTN）。一個(gè)RTN可以使用如圖2和圖3所示的狀態(tài)圖的集合來定義，其中每個(gè)弧上有一個(gè)終極符號(hào)或非終極符號(hào)。RTN和FSA的不同之處在于它們處理非終極符號(hào)的方法。在RTN中，每當(dāng)自動(dòng)機(jī)遇到一個(gè)帶有非終極符號(hào)的弧時(shí)，它把這個(gè)非終極符號(hào)作為一個(gè)子程序（subroutine）來處理。自動(dòng)機(jī)把它的當(dāng)前位置放到一個(gè)棧中，跳到這個(gè)非終極符號(hào)。當(dāng)這個(gè)非終極符號(hào)剖析結(jié)束之后，自動(dòng)機(jī)再跳回原位置。如果一個(gè)NP規(guī)則包含一個(gè)自身的參照，RTN再次把當(dāng)前位置放到棧中，然后再跳回NP的開始處。

由于RTN與上下文無關(guān)語法是完全等價(jià)的，所以遍歷一個(gè)RTN就可以想像成是使用一個(gè)上下文無關(guān)規(guī)則來進(jìn)行簡(jiǎn)單的自頂向下剖析的過程，而且這個(gè)過程可以用圖表示出來。在描述或顯示一個(gè)語法時(shí)，通?？梢允褂肦TN作為一個(gè)恰當(dāng)?shù)谋扔鲌D示，或者作為實(shí)現(xiàn)具有小量遞歸但又不是有限狀態(tài)的系統(tǒng)的一種方法。

責(zé)任編輯：admin