第二章节形式语言基础.pptVIP

编译原理 如何让计算机 认识、理解 和 执行 高级程序设计语言 ？ 第 2 章 形式语言基础 2.1 语言是符号串集合 2.2 文法是定义语言的规则集 2.3 怎样用文法定义语言 2.4 各种语法成分定义与求解 … 【内容提要】 2.1.1 字母表 2.1.2 规则集 【例2.7】 L ={ abnc, bn | n≥0 }， 字母表：∑= {a,b,c}； 展开：L ={ac,abc,abbc,… ; ?,b,bb, … } ⑴ S,A — 定义的对象(S 句子,最大的定义对象，又 称为开始符号; A为句型aAc的一个短语）， ⑵ a,b,c -- 为字母表∑中的符号;ε- 空符号串。 ⑶ - ,| -- 为描述符号( - 定义为; | 或者是） 2.1.3 怎样利用规则产生句子 2.2 文法是定义语言的规则集 ※ 文法应用示例： 【标识符】 指字母开头的字母、数字序列。 【例2.10】简单算术表达式文法 其中 VN ={ E(算术表达式),T(项)，F(因式)}； VT ={ i(变量或常数),+,-,*,/,(,）}； Z = E ; P : ※ 利用文法求解算术表达式示例： 2.2.2 文法的基本运算 Ⅰ．直接推导( = ): xAy = x?y 加推导( ): ? β Ⅱ．直接归约( ): x?y xAy 加归约( ): ? β ※ 实用中最常见的两种运算： 2.3 怎样用文法求解语言 2.3.2 上下文无关语言求解： 【例2.12】 已知文法 2.3.3 正规语言求解 【例2.13】标识符文法： 令： I = ? A 2.4 形式语言的分类问题 chomsky 把形式语言分为四类，分别由四类文法定义；四类文法的区别在于 产生式的形式不同： 习题： 【习题2.1】解释下列词语： 形式语言；文法；文法所定义的语言； 【习题2.2】试构造下述语言L的文法： L={ ambn |m≥0,n≥1}; 【习题2.3】试求下述文法G(Z)所定义的语言： G(Z): Z-b|bB , B-bZ . 【附注2】 符号串(集合)的运算问题 1. 连接：?.? = ?? 如 a.b=ab Ⅱ. 符号串集合的运算 1.乘积： AB={xy |x?A 且 y?B} ※ 符号串运算示例 符号串集合运算示例： 【例2】 设 A={a,b},B={c,d} 则 A+B={a,b,c,d} 则 AB={xy|x?A,y?B}={ac,ad,bc,bd} 符号串集合运算示例(续)： 【例4】 设 A={a，b}， A* = ? ∵ A* = A0∪A1∪A2∪…∪An∪… A0 ={?}; A1 = A ={a，b}; A2 = A.A={a，b}.{a，b}={aa,ab,ba,bb}; A3 = A.A2={a，b}.{aa,ab,ba,bb} ={aaa,aab,aba,abb, baa,bab,bba,bbb}; … ∴ A* = { x | x=(a|b)n ，n≥0 } 符号串集合运算示例(续)： 【例5】 设 A={a，b}， A* = ? ∵ A* = A0∪A1∪A2∪…∪An∪… A0 ={?}; A1 = A ={a，b}; A2 = A.A={a，b}.{a，b}={aa,ab,ba,bb}; A3 = A.A2={a，b}.{aa,ab,ba,bb} ={aaa,aab,aba,abb,abaa,bab,bba,bbb}; … ∴ A* = { x | x=(a|b)n ，n≥0 } 谢谢收看！ 再见 ※ 基本图形库 * * 2007年 2月 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 形式语言是真实语言(程序设计语言、自然语言 …) 的一种数学模型；很适合于计算机处理。 形式语言的基本观点是 ： 语言是符号串之集合！ Ev