句法类型演算

句法类型演算，是根据句法类型来判定一个符号串是不是语言中成立句子的数理语言学理论，由语言学家Y.巴尔-希列尔和德裔加拿大数学家J.兰贝克先后提出。句法类型演算是辨识语言的模型。这种理论认为，任何词都可以按它们在句子中的功能归入一定的句法类型。用n表示名词的句法类型，用s表示句子的句法类型，用n和s不同的结合方式表示其他的句法类型。