【精品】形式语言概论97.pptxVIP

第二章形式语言概论;第二章形式语言概论;______ ____;举例说明。;形式语言 3形式语言是字母表上按某种规则构成的所 有串的集合，这些串称为句子或字。对于 一个具体的语言，都有语法和语义两个方 面，形式语言是指不考虑语言的具体意义。 @形式语言的表示方法 有穷语言：枚举法 无穷语言：文法;2.2产生式文法和语言 文法(Grammar)是对语言结构的定义和 描述，换句话说，在形式上用来描述语言 语法结构的就是文法。通常是由一组规则 构成的。一个程序语言的文法的就是用适 当条数的规则把该程序语言全部成分描述 岀来。;2.2.1产生式文法 3 定义2.1产生式文法定义成一个四元组G二（V” VT, S, P）, V］、:非空有限的终结符号集（符号表）； Vn：非空有限的非终结符号集（变量表）； __ S:开始符号（识别符号），是文法G规定的 最终目标； P：产生式（规则）的集合。 其中VNnV.= 0, SeVNo 我们令v=vNuvT, 则p中产生式的一般形式为 Atcc|P AgVn 且 a, p eV+ 或 A: : =ocI p （本书中统一采用的表 示方法）o;2.2.2上下文无关文法;程序设计语言表达式的文法;____ _____ ___ _____ _____ ____ ____;2.2.3上下文无关文法定义的语言;_____ ___;0型文法 产生式具有以下形式： a 一 [3 其中，ae(VNUVT)+, Pe(VNUVT)^;1型文法(上下文有关文法) 、1型文法G的产生式具有以下形式：oc-p要 求：1 I a I I p | 其中a二丫丽;P二*衡2； Yi，%e(VnUVt)*; AgVn； 8g(VnUVt)+o 例 1 型文法G6=(Vn, Vt, P, S) 其中，VN=(S, X, Y, Z} Vy— ( x, y 9 z ) P={S—xSYZ|xYZ, xY—xy, yY—yy, yZ—yz ZY一YZ, zZ一zz};2型文法（上下文无关文法）;3型文法（右线性文法和正规文法）;3型文法（右线性文法和正规文法） 在正规文法中，P中的每个产生式（S — ￡例外， S为文法的开始符号）只有两种形式：A-a , A-aB 。其中A, BgVn , aeVTo此外，如果 S-8是P中的一个产生式，那么S不能出现在任何产 生式的右边。 例 正规文法G5（S）（十进制实数） S—dB|+A|-A|?G ArdB |-G B—dB |-H|d GrdH HrdH Id 其中d代表十进制数字。;_____ _____ __ 2.3.2文法分类的意义（1） ____ ____ ____ no型文法：0型语言（递归可枚举语言）使用 图灵机来识别 ____ ____ ____ L1 1型文法：1型语言（上下文有关语言）使用空 间线性界限自动机来识别 ___ ____ ____ 52型文法:2型语言（上下文无关语言）使用下 推自动机来识别 ____ ____ ____ 5 3型文法:3型语言（正规语言、正则语言）使 用有穷自动机来识别;2.3.2文法分类的意义(2);S n ;2.4.1句型、句子和语言(2);文法和语言综述(1);文法和语言综述(2);文法和语言综述(3);Ci例:设字母表E={a, b),试设计一个文法, 使其描述的语言L={abna|n0}o;242语法树（1） 在自然语言中，可通过树型表示直观地分 析句子结构；在形式语言中，则是通过语法树 直观地分析文法的句型结构。;2.4.2语法树 设文法G= (V,, VT，P, S),对于文法G的任 意一个句型都存祝一小相应的语法树： ① 树的根结点标记是文法的识别符号S； ② 每个结点上的标记都是文法字汇表中的符 号； ③ 若一棵子树的标记为A,且所有直接后结 点从左向右排列的顺序为Bi，B2, Bn,则 (A—BjBg...Bn) eP； ④ 如果T1是根结点的唯一子树，且标记为￡ , 则一定有S 一 E在P中； ⑤ 若树的所有末端结点上的标记从左向右排 列为字符串w,则w是G的句型，若w仅含终结符号, 则w是G所产生的句子.(举例);2.4.3语法树的生成过程 也称为推导树，是对句子或句型推导过 程的图形表示法。 从文法的开始符号出发，每推导一步，语法 树向下伸展一层。 【例1】设有文法G[EJ： E一E+T | E?T 丨 T T—T*F | T/F | F F一 (E) I i 给出句型(T+i2)*irF的语法树;2.5文法和语言的一些特性 2.5.1无用非终结符号 如果文法的某个非终结符不出现在文法的任何一个句 型中，并且不能从它推导出终结符号串，则称该非终结符 为无用非终结符号。(P30-例2. 13)