第2章语言分析基础.ppt

* 第二章 语言分析基础 * 语言分析基础 文法和语言概述 字母表和符号串 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 句型的分析 有关文法实用中的说明 * 让计算机熟悉和掌握源语言和目标语言 编译程序研究如何将源语言程序翻译为目标语言程序。 源程序 目标程序 编译 程序 2.1 文法和语言概述 * 源程序 目标程序 编译 程序 2.1 文法和语言概述 让计算机掌握 语言的语法和语义 编译程序研究如何将源语言程序翻译为目标语言程序。 * 文法是对语法进行 形式化描述的工具 源程序 目标程序 编译 程序 2.1 文法和语言概述 对语法和语义 进行形式化描述 编译程序研究如何将源语言程序翻译为目标语言程序。 * 文法的直观概念 语言是由句子组成的集合，是由一组符号所构成的集合。 自然语言 语言 句子的集合 句子 多个单词按一定规则组成 单词 多个字符按一定规则组成 程序语言 编程语言 程序的集合 程序 多个单词按语法规则组成 单词 多个字符按词法规则组成 2.1 文法和语言概述 * 2.1 文法和语言概述 语言的描述 穷举：如，L={I am a teacher,You are students} 文法：制定有限条规则，用来产生所要描述的语言中 全部句子的集合。 例：“ 我是大学生” 是否是汉语的一个句子？ 〈句子〉∷ = 〈主语〉〈谓语〉 〈主语〉∷ = 〈代词〉｜〈名词〉 〈代词〉∷ = 我 ｜ 你 ｜ 他 〈名词〉∷ = 王明 ｜ 大学生 ｜ 工人 ｜ 英语 〈谓语〉∷ = 〈动词〉〈直接宾语〉 〈动词〉∷ = 是 ｜ 学习 〈直接宾语〉∷ = 〈代词〉｜〈名词〉 如何定义句子的合法性? 有穷语言：只需逐一列举句子 无穷语言：使用文法定义句子结构，用适当条数的 规则把语言的全部句子描述出来。文法 是以有穷集合刻划无穷的集合的工具。 * 如何定义句子的合法性？ 有穷语言：只需逐一列举句子 无穷语言：使用文法定义句子结构，用适当条数的 规则把语言的全部句子描述出来。文法 是以有穷集合刻划无穷的集合的工具。 * 2.1 文法和语言概述 〈句子〉∷ = 〈主语〉〈谓语〉 〈主语〉∷ = 〈代词〉｜〈名词〉 〈代词〉∷ = 我 ｜ 你 ｜ 他 〈名词〉∷ = 王明 ｜ 大学生 ｜ 工人 ｜ 英语 〈谓语〉∷ = 〈动词〉〈直接宾语〉 〈动词〉∷ = 是 ｜ 学习 〈直接宾语〉∷ = 〈代词〉｜〈名词〉 〈句子〉?〈主语〉〈谓语〉 ?〈代词〉〈谓语〉 ?我〈谓语〉 ?我〈动词〉〈直接宾语〉 ?我是〈直接宾语〉 ?我是〈名词〉 ?我是大学生 “我是大学生” 是汉语的一个句子。 有穷非空的规则的 集合就称为文法。 这些规则看成是一种元语言，用它描述汉语。 文法是程序语言的产生系统 “大学生是”？？ “我学习大学生”？？ × √ 〈句子〉∷ = 〈主语〉〈谓语〉 〈主语〉∷ = 〈代词〉｜〈名词〉 〈代词〉∷ = 我 ｜ 你 ｜ 他 〈名词〉∷ = 王明 ｜ 大学生 ｜ 工人 ｜ 英语 〈谓语〉∷ = 〈动词〉〈直接宾语〉|〈动词〉 〈动词〉∷ = 是 ｜ 学习 〈直接宾语〉∷ = 〈代词〉｜〈名词〉 * 2.1 文法和语言概述 规则集 句子 ::=主语谓语状语 主语 ::= 名词 谓语 ::= 动词 状语 ::= 介词名词 名词 ::= Peter | river 动词 ::= swims 介词 ::= in 产生的语言 { Peter swims in river, River swims in river, Peter swims in Peter, River swims in Peter } 产生语言的规则示例 * 2.1 文法和语言概述 一个程序设计语言是一个记号系统。 程序设计语言研究的三个方面 语法（Syntax）：各记号之间的组合规律。 语义（Semantics）：各记号的特定含义。 语用（Pragmatics）：各记号的来源、使用和影响。 例：对于赋值语句 x := a+b*c 的非形式描述是： 语法：赋值语句=变量+:=+表达式 语义：先求右部，然后把结果给左部变量 语用：赋值语句可用来计算和保存表达式的值 * 形式化方法：用一整套带有严格规定的符号 体