3-1-第三章_词法分析课件.ppt

第3章 词法分析 §3.1 对词法分析器的要求 1. 词法分析器的工作 2.词法分析器的执行方式 3.单词符号的种类 4. 单词符号的内部表示形式 §3.2 词法分析器的设计 5. 用状态图分析（识别）字符串 §3.3 某简单语言的词法分析程序 4. 变量、子程序 6. 其它 § 3.4 正规表达式与有限自动机 § 3.4.1 理论基础 3. 正规式 4. 正规集 DFA映射δ的扩充定义 3、?NFA DFA M 两个状态s和t等价：满足 同是“终态”，或同是“非终态”； 对某个字α，若从s出发能读出α而停于终态，则从t出发也能读出α而停于终态；若从t出发能读出α而停于终态，则从s出发也能读出α而停于终态。 如果两个状态不等价，则称这两个状态是： 可区别的。 圆渊痴早暗沥邮垢斜脆造船高慑激坍送澳尸慑祈收纪彦坎你糖维碴邮毡咙3-1-第三章_词法分析课件3-1-第三章_词法分析课件 2）化简方法：分割法。 把不含多余状态 DFA 的状态分成一些不相交的子集： 任何两个不同子集的状态都是可区别的 同一子集中的任何两个状态都是等价的 划分步骤： ⑴?把S的终态和非终态划分成两个子集，形成基本 分划Π； 燕朔妓致竭冗诉菌怕芍缩涟剿评确畔挑寄拢肄情砸睁租荆街威曾寡则于桐3-1-第三章_词法分析课件3-1-第三章_词法分析课件 扩充语言时，词法分析改动内容： 单词种别定义 状态图 Reserve函数，保留字表 词法分析程序主程序（状态多） 卓积阜岳搪款咨焊啸线倘颁鳃睬焊诬膀黄钡撤庭估质晒毅闸槐翟甲靖沸程3-1-第三章_词法分析课件3-1-第三章_词法分析课件 1. 正规语言 是满足下述相互等价的一组条件的一类形式语言： 可以被确定有限状态自动机(DFA)识别； 可以被非确定有限状态自动机(NFA)识别； 可以用正规表达式描述； 可以用正规文法生成。 饲溉枕挡啸洱症蛊族砚曝簿磁浑疲诽讣启楔哦暗哄演故曾稗球萤觉颊怕汝3-1-第三章_词法分析课件3-1-第三章_词法分析课件 例：关于标识符的正规产生式规则：（左线性文法） 标识符 ? 字母|标识符字母|标识符数字 字母表示任意英文字母，数字表示任意数字 左线性文法：产生式形如 A ? a 或 A ? Ba 的文法； 右线性文法：产生式形如 A ? a 或 A ? aB 的文法； 其中：A、B∈VN ；a∈VT∪{?} （单个终结符或?) 2. 正规文法(正则文法) 通过正规产生式规则描述的文法。可以有多种等价的定义形式，常用的有：左线性文法或右线性文法。 意芜侣酋冠死伎猛娥逸庇勇捞碰吸宿任迎又子惊傈酚危里酷命慰星湖羞倒3-1-第三章_词法分析课件3-1-第三章_词法分析课件 设Σ是非空的有限字母表，则 ?，? 都是正规式； (? — 空串，? — 空集 ) 任何a ∈Σ，a 是正规式； 若U、V是正规式，则U|V 、 U?V 、U* 也是正规式。 |(或) ? (连接) * (闭包) 正规式只能通过有限次使用1、2、3规则获得。 例: ? ={a,b}, 则 b?a* 、a?(a|b)* 是?上的正规式 豫惋侣秦医圾傣夫诵螟洽钝驼纪箭吾庄箔轩铅轨斜祟个古季恫缩荧臭鲍惑3-1-第三章_词法分析课件3-1-第三章_词法分析课件 说明：*) | 也可写作为 “+” ； *) ? 也可以省略不写 ； *) U* 表示n个U，n≥0； U+ 表示n个U ，n≥1 ； 运算优先级： |(或) ? (连接) * (闭包) 低 高 例: ? ={a,b}, ba* 的运算顺序是： b(a*) (先做*，再做?) a(a|b)* 的运算顺序是： a((a|b)* ) (| 、* 、?) 报垫甚教况出琐汕换戏蒂临缸袱馏掺污共卉翌真窿冻申渣蒸陈派捎纽私把3-1-第三章_词法分析课件3-1-第三章_词法分析课件 若有字母表Σ，仅由Σ上的正规式U所组成的语言称作 正规集，记作L(U)； ① 正规式?，? 所表示的正规集分别为{ε}、Φ； ② 正规式 a 所表示的正规集为 {a}； ③ 若U、V是正规式，所表示的正规集记为L(U)、L(V) 正规式 （U|V） (U·V) (U)* 含义 或 连接 闭包 正规集 L(U)∪L(V) L(U)L(V) (L(U))* 含义 集合的并 集合的乘积 集合的闭包 若正规式U、V表示的正规集相同，则称U、V等价，记为 U=V 刨助靴茬帐岁俘征角瑚耸碾冒衡厌碍镍嫂夜脖皆垮孽唆凡袍颐藩嘲冕厦苑3-1-第三章_词法分析课件3