句法类型演算造句

• 句法类型演算是辨识语言的模型。
• 这种句法类型演算，又称为范畴语法，它对于自然语言的自动分析是有价值的。
• 句法类型演算，是根据句法类型来判定一个符号串是不是语言中成立句子的数理语言学理论，由语言学家Y.巴尔-希列尔和美国数学家J.兰贝克先后提出。
• 代数语言学中的语言模型主要有分析性模型、生成性模型和辨识性模型3种，分析性模型主要采用集合论的方法，对语法的基本概念进行数学描述，生成性模型着重于研究形式文法和自动机理论，阐明形式文法及其与自动机的关系，辨识性模型则研究句法类型演算方法。