句法类型演算 : 根据句法类型来判定一个符号串是不是语言中成立句子的数理语言学理论。由语言学家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。John likes Jane（约翰喜欢珍妮），likes 前面为名词John，后面为名词Jane，它所构成的 John likes Jane的功能与句子相同，故其句法类型为 ns/n。
John slept soundly（约翰睡熟了）， soundly前面的 slept为ns，它所构成的slept soundly的功能与ns相同，故其句法类型为(ns)s。
John works here（约翰在这里工作），here能把John works 这个句子 s 转换为一个新的句子 John works here，故 here的句法类型为 ss。John never works(约翰从不工作)中,由于 John的句法类型为n，故 never works的句法类型?猲s，可见,句法类型为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，等等。
把语言中的词列出一个完整的句法类型清单之后，就可以按如下规则对这些句法类型进行演算。
如果符号序列的形式为刅，刅β/γ,γ，那么就用β来替换它。
这个规则同时还包括下面两个规则：①用β替换形如刅，刅β的符号序列；②用β替换形如β刅,γ的符号序列。
根据句法类型及演算规则，便可对语言中的任何词的序列进行判定,辨识它是不是该语言中合格的句子。如果通过有限个演算步骤，可以把词的序列化为 s，那么，这个词的序列便是语言中合格的句子。
例如，给Paul thought that John slept soundly一句中的每一个词都列出句法类型：
Paul thought that john slept soundly
n n n n ns (ns)ns
ns n/n (ns/n)ns/n
ns/n n/s
ns/s
这些句法类型共有24种组合方式,运用演算规则进行运算之后，最后可以得出两个结论：
可见，这个词的序列是英语中合格的句子，但有两个结论，说明它在句法上有两种不同的结构，因而相应地有两种不同的意思：一个意思是"保罗想，约翰睡熟了"，that是连接词；另一个意思是"保罗想，那个约翰睡熟了"，that是指示代词,在动词thought之后作为从句中的连词被省略了。
这种句法类型演算，又称为范畴语法，它对于自然语言的自动分析是有价值的。
Y.Bar-Hillel,Decision Procedures for Structurein Nɑturɑl Lɑnɡuɑɡe，《Logigue et Analyse》,2-e année,No.5,1959.