中国科学院计算技术研究所刘群的计算语言学讲义，内容关于形式语法理论。内容提要基于复杂范畴(基于合一)的语法特征结构与合一运算功能合一语法词汇功能语法中心词驱动的短语结构语法不使用范時(基于词)的语法语法与词汇主义依存语法配价语法词语法范畴语法链语法工程性语法计算语言学讲义概论形式语法概述形式语法理论的目的是试图用精确的数学模型(形式语言)来刻划自然语言与统计语言模型不同的是,对于一个形式语法体系来说,个句子是否属于种语言,只存在是和否两种答案,不存在中间状态(概率);形式语言虽然在描述人工语言方面取得了很大的成功(如程序设计语言),但在描述自然语言方面还很不成功计算语言学讲义概论形式语法概述形式语法体系的目标准确:能够产生语言中所有的句子,而不产生语言中不存在的句子简洁:尽可能用比较少的规则来描述一种语言(简单就是美)髙效:分析的计算复杂度越低越好计算语言学讲义概论形式语法概述从语言学角度看传统语法现代语法功能语法形式语法从数学角度看代数语言学统计语言学计算语言学讲义概论形式语法要回答的问题个字符串是不是一个合法的句子?我吃了一只鸡。√一只鸡我吃了。√吃了一只鸡,我√鸡我吃了一只。√我把一只鸡吃了。×我鸡了一只吃×我一只吃了鸡计算语言学讲义概论形式语法要回答的问题一个字符串如果不是一个合法的句子,那么是不是一个合法的语言单位?我我吃√吃了×吃了一只了一只鸡只鸡了√我吃了×只鸡√吃了一只鸡吃了一只计算语言学讲义概论形式语法要回答的问题语言单位和语言单位之间什么不同?对语言单位进行分类范畴句法范畴:名词、名词短语、子句、句子语义范畴:人、动物、植物、思想、程度对于分类的补充描述特征句法特征:单复数、时态、语态语义特征:性别、尺寸、配价数计算语言学讲义概论形式语法要回答的问题语言单位和语言单位如何组合成更大的语言单位?语言单位之间的关系句法关系:述宾、述补、主谓、定中语义关系:施事、受事、工具、因果计算语言学讲义概论