句法类型演算 : 根据句法类型来判定一个符号串是不是语言中成立句子的数理语言学理论。由语言学家Y.巴尔-希列尔和美国数学家J.兰贝克先后提出。句法类型演算是辨识语言的模型。这种理论认为，任何词都可以按它..
