黃腸題湊

[拼音]：Jufa leixing yansuan

[英文]：calculation of syntactical types

根據句法型別來判定一個符號串是不是語言中成立句子的數理語言學理論。由語言學家Y.巴爾-希列爾和美國數學家J.蘭貝克先後提出。句法型別演算是辨識語言的模型。這種理論認為，任何詞都可以按它們在句子中的功能歸入一定的句法型別。用n表示名詞的句法型別，用s表示句子的句法型別，用n和s不同的結合方式表示其他的句法型別。

如果有某個詞B，其後面的詞C的句法型別為γ，而它們所構成的詞的序列BC的功能與β相同，則這個詞B的句法型別符號為β /γ;如果有某個詞B，其前面的詞A的句法型別為刅而它們所構成的詞的序列AB的功能與β相同，則這個詞B的句法型別符號為刅/β;如果有某個詞B，其前面的詞A的句法型別為刅，其後面的詞C的句法型別為γ，而它們所構成的詞的序列ABC的功能與β相同，則這個詞B的句法型別符號為刅β/γ。根據這種記法，可以寫出英語中絕大部分詞的句法型別。例如，John（約翰）的句法型別為n。poor John（可憐的約翰），poor後面出現名詞John，它所構成的 poor John的功能與名詞相同，故其句法型別為 n/n。John works(約翰工作)，works前面出現名詞John，它所構成的John works的功能與句子相同，故其句法型別為 ns。Johnlikes Jane（約翰喜歡珍妮），likes 前面為名詞John，後面為名詞Jane，它所構成的 John likes Jane的功能與句子相同，故其句法型別為 ns/n。

John slept soundly（約翰睡熟了）， soundly前面的 slept為ns，它所構成的slept soundly的功能與ns相同，故其句法型別為(ns)ns。

John works here（約翰在這裡工作），here能把Johnworks這個句子 s轉換為一個新的句子 John works here，故 here的句法型別為 ss。Johnnever works(約翰從不工作)中，由於 John的句法型別為n，故 never works的句法型別為ns，可見，句法型別為ns的works前面加了never構成never works之後，其句法型別仍為ns，所以，never的句法型別為ns(ns)。

John works for Jane（約翰為珍妮工作），for的作用與 John works here中的here的作用相似，但後面還有一個名詞Jane，故for的句法型別為ss/n。

John works and jane rests （約翰工作而珍妮休息）中，and把前後兩個句子連線起來，構成一個新句子，故其句法型別為ss/s，等等。

把語言中的詞列出一個完整的句法型別清單之後，就可以按如下規則對這些句法型別進行演算。

如果符號序列的形式為刅，刅β/γ，γ，那麼就用β來替換它。

這個規則同時還包括下面兩個規則：

（1）用β替換形如刅，刅β的符號序列；

（2）用β替換形如β刅，γ的符號序列。

根據句法型別及演算規則，便可對語言中的任何詞的序列進行判定，辨識它是不是該語言中合格的句子。如果通過有限個演算步驟，可以把詞的序列化為 s，那麼，這個詞的序列便是語言中合格的句子。

例如，給Paul thought that John slept soundly一句中的每一個詞都列出句法型別：

Paul thought that john slept soundly

n n n nns(ns)ns

ns n/n(ns/n)ns/n