第2章 式语言基础.ppt

编译程序的设计原理与实现 如何让计算机 认识、理解和执行 高级程序设计语言？ 第2章 形式语言基础 计算机处理语言，首先应考虑语言的形式化、规 范化，使其具有可计算性和可操作性；这就是形式语 言理论研究的问题。 形式语言诞生于1956年，由Chomsky创立。通常， 语言研究至少涉及三个方面：语法、语义和语用； ※ 形式语言的基本观点是 ： 语言是符号串之集合！ 第2章 形式语言基础 2.1 形式语言是符号串集合 2.2 形式语言是由文法定义的 2.3 各种语法成分的定义 2.4 两类特性文法 2.5 文法变换方法 2.6 形式语言的分类 【内容提要】 2.1 形式语言是符号串集合 【形式语言】是字母表上的符号按一定的 规则组成的所有符号串集合；其中的每个符号串 称为一个句子。 字母表 -- 元素(符号)的非空有限集合； 符号串 -- 符号的有限序列； 符号串集合 -- 有限个或者无限个符号串组成的集合； 规 则 -- 以某种形式表达的在一定范围内共同遵守的章程和制度；这里，指符号串的组成规则。 形式语言概念示例： 【例2.1】 L1={ 00,01,10,11 }; 字母表∑1= {0,1}, 句子有：00,01,10,11 【注】 (1) b0=?（空符号串）,b1=b,b2=bb,b3=bbb,… (2) L1 为有限语言; L2 为无限语言。 2.1.1 符号串(集合)的运算 1.连接：?.? = ?? 如：a.b=ab 2.1.1 符号串(集合)的运算 1. 乘积： AB = { xy | x?A 且 y?B} 符号串集合运算示例 【例2.4】 设 A={a,b},B={c,d} 则 A+B={a,b,c,d} 则 AB={xy|x?A,y?B}={ac,ad,bc,bd} 符号串集合运算示例(续)： 【例2.6】 设 A={a, b}， A* = ? ∵ A* = A0∪A1∪A2∪…∪An∪… A0 ={?}; A1 = A ={a, b}; A2 = AA={a, b}{a, b}={aa,ab,ba,bb}; A3 = AA2={a, b}{aa,ab,ba,bb} ={aaa,aab,aba,abb,baa,bab,bba,bbb}; … ∴ A* = { x | x=(a|b)n , n≥0 } 2.2 形式语言是由文法定义的 【定义】 文法(grammar)是规则的有限集，通常可以表示为四元组： G(Z)=(VN, VT, Z, P) VN : 非终结符集 ( 定义的对象集，如：语法成分等 ) ； VT : 终结符集 ( 字母表 ) ； Z : 开始符号 ( 研究范畴中最大的定义对象 ) ； P : 规则集 ( 又称产生式集 ) ； 【注意】提供了规则集，就相当给出了一个文法： 形式语言是字母表上的符号按一定的规则组成的 所有符号串集合。 利用文法规则表示语言 从开始符号出发，对符号串中的定义对象，采用推导的方法（用其规则右部替换左部）产生新的符号串，如此进行，直到新符号串中不再出现定义的对象为止，则最终的符号串就是一个句子。 【句子产生过程】(= 推导算符) 【例2.8】标识符的文法 【标识符】指字母开头的字母、数字序列。 则 VN ={ I(标识符) , A(标识符尾) }； VT ={ ?(字母) , d(数字) }； Z = I ; P : ※ 求解文法所定义的语言(1) 上面构造的标识符文法 属于正规文法 令： I = ? A | ? A = ? A | d A | ? ※ 求解文法所定义的语言(2) 则 L(G)的求解过程 – 代入法 ： 【例2.10】简单算术表达式文法 则 VN ={ E(算术表达式),T(项),F(因式)}； VT ={ i(变量或常数), + , - , * , / , ( , ) }； Z = E ; P : ※ 算术表达式文法应用示例：