第3章文法和语言.ppt

第3章 文法和语言 3.1 文法的引入 3.2 字母表和符号串 3.3 文法和语言的形式定义 3.4 文法和语言分类 3.5 上下文无关文法及其语法树 3.6 对实用文法的限制与扩充 第3章 文法和语言 自然语言：英语——符合相应规则——合法句子 （字母表） （语法） （含义-语义） 编程语言： 规定什么样的符号是程序允许的（终极符集—字母表） 什么样的符号串是合法程序（定义语言的语法） 对合法程序赋予什么样的含义（语义） 语义：自然语言描述的多 如：标识符先定义、后使用；标识符不能重复定义 非形式化——不利于机械翻译 本书讨论的源语言定义问题，指语法定义问题 枚举法：可定义有穷语言。如：字母表上的串集 { red, blue, yellow } 文法生成：一个规则的有穷集，规定了语言中句子的结构，即语言的语法（可定义有穷语言、无穷语言） 文法：语言的定义装置 生成观点：形式语言——源语言的数学模型 自动机：语言的识别装置 识别观点：自动机——编译程序的数学模型 知识扩充： 形式语言与自动机理论的产生与作用 知识扩充：形式语言与自动机理论的产生与作用 从示例抽象出文法描述 从示例抽象出文法描述 句子?主语谓语 冠词?the 主语?冠词形容词名词 形容词?gray 谓语?动词直接宾语 助动词?will 动词?助动词动词原形 名词?wolf 直接宾语?冠词名词 名词?goat 从示例抽象出文法描述 终结符集 VT= {the, gray, wolf, will, eat, goat} 非终结符集 VN={句子,主语,谓语,冠词,形容词,名词,动词,直接宾语,助动词,动词原形} 语法规则 P= {句子?主语谓语, 主语?… } 开始符号 S=句子 什么是文法 文法的例子 文法的例子 文法的例子 文法的EBNF表示 文法的EBNF表示 文法的EBNF表示 文法的EBNF表示 文法的EBNF表示 3.2 字母表和符号串 1.字母表 2 符号串 3 符号串及其集合的运算 3 符号串及其集合的运算 3 符号串及其集合的运算 3 符号串及其集合的运算 3 符号串及其集合的运算 3.3 文法和语言的形式定义 1 文法G为一个四元组 G = (VN，VT，P，S ) VN: 非终结（极）符的有穷集； （Variable） VT: 终结（极）符的有穷集； （Terminal） V = VN ∪ VT是词汇表 （VN ∩ VT = φ，V中符号为文法符合） P: 规则的非空有穷集，即： ?→? ?→? 称为规则或产生式 S ∈ VN :是文法的开始符号 （Start Symbol） 例3.1：产生语言{标识符}的文法 G=（ VN, VT, P, I） 其中： VN = {I, L, D} VT = {a, b, …z, 0, 1, …, 9} P： I→L | IL | ID L→a | b |… | z D→0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 例3.2：生成语言 的文法 G[S]： S→AB A→aA | a B→bB | b 写文法时，可省略VN和VT ，直接写出规则即可。 2 元语言 与源语言不同： 元语言：用来定义一种语言的语言（可描述规则） 对象语言：被定义的语言（源语言） 例[3.4]：构造无符号整数的文法 无符号整数→无符号整数数字|数字 数字→0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 检查234是否合法： 无符号整数 ? 无符号整数数字 ? 无符号整数数字数字 ? 数字数字数字 ? 2数字数字 ? 23数字 ? 234 （1）直接推导“?” α→β是文法G的产生式，若有v, w 满足：v=γαδ, w= γβδ, 其中γ∈V*,δ∈V* 则称v直接推导到w,记作 v ? w 也称w直接归约到v 例：G： S→0S1， S→01 0S1 ?00S11 00S