第6讲形式语法理论刘群-自然语言处理.PDF

计算语言学 6 第 讲 形式语法理论 刘群 中国科学院计算技术研究所 liuqun@ 中国科学院研究生院2006~2007学年第二学期课程讲义 内容提要 (1) • 概述 • 形式语法的分类 • 乔姆斯基语法 – 乔姆斯基语法体系 – 转换生成语法 – 标准理论 – 管辖与约束理论 • 基于简单范畴的语法 – 树粘接语法 – 定子句语法 计算语言学讲义(01)概论 2 内容提要 (2) • 基于复杂范畴（基于合一）的语法 – 特征结构与合一运算 – 功能合一语法 – 词汇功能语法 – 中心词驱动的短语结构语法 • 不使用范畴（基于词）的语法 – 语法与词汇主义 – 依存语法 – 配价语法 – 词语法 – 范畴语法 – 链语法 • 工程性语法 计算语言学讲义(01)概论 3 形式语法概述 (1) • 形式语法理论的目的是试图用精确的数学模型 （形式语言）来刻划自然语言 • 与统计语言模型不同的是，对于一个形式语法 体系来说，一个句子是否属于一种语言，只存 在“是”和“否”两种答案，不存在中间状态（概 率）； • 形式语言虽然在描述人工语言方面取得了很大 的成功（如程序设计语言），但在描述自然语 言方面还很不成功 计算语言学讲义(01)概论 4 形式语法概述 (2) • 形式语法体系的目标 – 准确：能够产生语言中所有的句子，而不产 生语言中不存在的句子 – 简洁：尽可能用比较少的规则来描述一种语 言（简单就是美） – 高效：分析的计算复杂度越低越好 计算语言学讲义(01)概论 5 形式语法概述 (3) • 从语言学角度看 – 传统语法 – 现代语法 • 功能语法 • 形式语法 • 从数学角度看 – 代数语言学 – 统计语言学 计算语言学讲义(01)概论 6 形式语法要回答的问题 (1) • 一个字符串是不是一个合法的句子？ 我吃了一只鸡。 一只鸡我吃了。 吃了一只鸡，我。 鸡我吃了一只。 我把一只鸡吃了。 ×我鸡了一只吃。 ×我一只吃了鸡。 计算语言学讲义(01)概论 7 形式语法要回答的问题 (2) • 一个字符串如果不是一个合法的句子， 那么是不是一个合法的语言单位？ 我 ? 我吃 吃了 ×吃了一 一只