第3章 文法和语言资料.ppt

第3章 文法和语言 3.1 文法的引入 3.2 字母表和符号串 3.3 文法和语言的形式定义 3.4 文法和语言分类 3.5 上下文无关文法及其语法树 3.6 对实用文法的限制与扩充 第3章 文法和语言 自然语言：英语——符合相应规则——合法句子 （字母表） （语法） （含义-语义） 编程语言： 规定什么样的符号是程序允许的（终极符集—字母表） 什么样的符号串是合法程序（定义语言的语法） 对合法程序赋予什么样的含义（语义） 语义：自然语言描述的多 如：标识符先定义、后使用；标识符不能重复定义 非形式化——不利于机械翻译 本书讨论的源语言定义问题，指语法定义问题 枚举法：可定义有穷语言。如：字母表上的串集 { red, blue, yellow } 文法生成：一个规则的有穷集，规定了语言中句子的结构，即语言的语法（可定义有穷语言、无穷语言） 文法：语言的定义装置 生成观点：形式语言——源语言的数学模型 自动机：语言的识别装置 识别观点：自动机——编译程序的数学模型 知识扩充： 形式语言与自动机理论的产生与作用 知识扩充：形式语言与自动机理论的产生与作用 从示例抽象出文法描述 从示例抽象出文法描述 句子?主语谓语 冠词?the 主语?冠词形容词名词 形容词?gray 谓语?动词直接宾语