句法类型演算是辨识语言的模型。这种理论认为，任何词都可以按它们在句子中的功能归入一定的句法类型。用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的功能与句子相同, 故其句法类型为 n\s。John　likes Jane（约翰喜欢珍妮），likes 前面为名词John，后面为名词Jane，它所构成的 John likes Jane的功能与句子相同，故其句法类型为 n\s/n。

John slept soundly（约翰睡熟了）， soundly前面的 slept为n\s，它所构成的slept soundly的功能与n\s相同，故其句法类型为(n\s)\n\s。

John works here（约翰在这里工作），here能把John　works这个句子 s 转换为一个新的句子 John works here，故 here的句法类型为 s\s。John never works(约翰从不工作)中,由于 John的句法类型为n，故 never works的句法类型为n\s，可见,句法类型为n\s的works前面加了never构成never works之后,其句法类型仍为n\s，所以，never的句法类型为n\s(n\s)。

John works for Jane（约翰为珍妮工作），for的作用与 John works here中的here的作用相似，但后面还有一个名词Jane，故for的句法类型为s\s/n。

John works and jane rests （约翰工作而珍妮休息）中,and把前后两个句子连线起来，构成一个新句子，故其句法类型为s\s/s，等等。

把语言中的词列出一个完整的句法类型清单之后，就可以按如下规则对这些句法类型进行演算。

如果符号序列的形式为δ，δ\β/γ,γ，那幺就用β来替换它。

这个规则同时还包括下面两个规则：①用β替换形如δ，δ\β的符号序列；②用β替换形如β\δ,γ的符号序列。

根据句法类型及演算的规则，便可对语言中的任何词的序列进行判定,辨识它是不是该语言中合格的句子。如果通过有限个演算步骤，可以把词的序列化为 s，那幺，这个词的序列便是语言中合格的句子。

例如，

给Paul thought that John slept soundly一句中的每一个词都列出句法类型：

Paul thought that John slept soundly.

n　 n　 n　 n　n\s　(n\s)n\s

n\s　 n/n　(n\s/n)n\s/n

n\s/n　 n/s

n\s/s

这些句法类型共有24种组合方式,运用演算规则进行运算之后，最后可以得出两个结论：

可见，这个词的序列是英语中合格的句子，但有两个结论，说明它在句法上有两种不同的结构，因而相应地有两种不同的意思：一个意思是“保罗想，约翰睡熟了”，that是连线词；另一个意思是“保罗想，那个约翰睡熟了”，that是指示代词,在动词thought之后作为从句中的连词被省略了。

句法类型演算

句法类型演算

这种句法类型演算，又称为範畴语法，它对于自然语言的自动分析是有价值的。