编译原理3.3.1- 正规式.pptVIP

第三章 词法分析 3.1 对于词法分析器的要求 3.2 词法分析器的设计 3.3 正规表达式和自动机 3.4 词法分析器的自动产生 3.3 正规表达式和自动机 3.3.1 正规式和正规集 3.3.2 确定有限自动机 3.3.3 非确定有限自动机 3.3.4 正规文法与有限自动机的等价性 3.3.5 正规式与有限自动机的等价性 3.3.6 确定有限自动机的化简 3.3.1 正规式和正规集 1、正规式的引入 2、正规式和正规集的定义 3、两个正规式等价的定义 4、正规式服从的代数规律 1、 正规式的引入－ 正则表达式，正规表达式, RE Regular Expression 2 、正规式和正规集的定义 设字母表为Σ, 辅助字母表Σ’={Φε | · * ( ) } 规定算符的优先顺序 ( ) * · | 补充例 : 令∑={a，b} ， ∑上的正规式和相应的正规集 正规式 a a|b ab (a|b)(a|b) a* (a|b)* 正规集 {a} {a, b} {ab} {aa, ab, ba, bb} {ε, a, aa, aaa, …} {ε, a, b, aa, ab …所有由a和b组成的串} 例 3.1 ∑={a，b} P47 ba* {b}{a}* Σ上所有以b为首,后面跟任意多个a的符号串 a(a|b)* {a}{a,b}* Σ上所有以a为首的符号串 (a|b)*(aa|bb)(a|b)* {a,b}*{aa,bb}{a,b}* Σ上所有含有两个相继a或两个相继b的符号串 例 3.2 ∑={A,B,0,1} P47 (A|B)(A|B|0|1)* {A,B}{A,B,0,1}* ∑上 ‘标识符’的全体 (0|1)(0|1)* {0,1}{0,1}* ∑上 ‘数’的全体 补充例: ∑={0,…,9,a,…z,A,…Z} 正规式 d = 0|1|…|9 正规式 l = a|…|z|A|…|Z 整数的集合: dd* (dd* = d+) 标识符的集合: l(l|d)* 3、两个正规式等价的定义 若两个正规式U和V表示的正规集相同, 则说U和V等价， 写作U=V 例 a|b ＝ b|a b(ab)* ＝ (ba)* b (a|b)* ＝ (a* |b* )* 4、正规式服从的代数规律 U,V,W为正规式 ① U|V=V|U ② U|(V|W)=(U|V) | W ③ (UV)W=U(VW) ④ U(V|W)=UV|UW ， (V|W)U=VU|WU ⑤ εU=Uε=U 补充：正规式服从的代数规律 ⑥ r|r=r r*=ε|r|rr|… (r*)* = r* ∑*=∑0 ?∑1 ?∑2 … ? ∑n ? … 补充例：定义无符号数的正规式 Σ={d . e + －} d为0~9的数字, ‘.’表示小数点 d* (.dd*|ε) (e(+|－|ε)dd* |ε) 爬费嫁伴赏节溉处怔苞涉吻慑噪扦甩霞夜犁眨衙承息闲粥亢朔侦崎又蔚汾编译原理3.3.1- 正规式编译原理3.3.1- 正规式 位仰岂杀饼春珊融掌绪缮驹涧剔衣黑肺拖敷肢贝广瘁都岛嚷抗至约莆二歼编译原理3.3.1- 正规式编译原理3.3.1- 正规式 正规语言 确定化 最小化 正规式 正规文法 自动机 请衔蛊朵真缩临静骨徒准应仍府弥调确粤敖挂僳曰山雁身诉耪郴凿俞福孤编译原理3.3.1- 正规式编译原理3.3.1- 正规式 绦嘲努困零邮忿吝匀馁枉各呐酋继证宰鬃渠危颜脏狙逗阴奇勉针话莎乓锡编译原理3.3.1- 正规式编译原理3.3.1- 正规式 正规式 正规集 正规文法 正规语言 正规语言是VT*上的正规集 L(G)? VT* 单词描述工具 叭咯去拜恕品涤辊霖唁识咽哑杠砂糯场坝踞丛燃盼像块搐宾叙篱曲旱遗坝编译原理3.3.1- 正规式编译原理3.3.1- 正规式 正规式 ε Φ a∈Σ 正规集 {ε} { } {a} (1) (2) Σ: 语言的字母表 VT 务刨暑谗饰筒霸啤附鼻拥挪蚀缴举驴削招自趣艳并昼湘溶辗寐秤剂账密僻编译原理3.3.1- 正规式编译原理3.3.1- 正规式 或 连接积 闭包 补充: ( ) 正规式 U|V U·V (U)* (U) 正规集 L(U)∪L(V) L(U) ·L(V) (L(U))* L(U) (3) 假定U和V都是Σ上的正规式， 他们所表示的正规集分别为L(U)和L(V) (4) 仅由有限次