编译原理第三章(4-3)剖析.ppt

北京交通大学　于双元 1 第三章 词法分析 §3.1 设计扫描器时应考虑的问题 §3.2 正则文法和状态转换图 §3.3 有限自动机 §3.4 正则表达式和正规集 §3.5 词法分析程序的实现 北京交通大学　于双元 2 §3.3.1 确定的有限自动机（DFA）§3.3.2 非确定的有限自动机(NFA M′) §3.3.3 DFA M与NFA M ′的等价性 §3.3 有限自动机 北京交通大学　于双元 3 §3.3 有限自动机(FA) §3.3.1 确定的有限自动机（DFA） 一个DFA有以下五个元素组成: DFA M=（K，∑，f，S0，Z） 其中 K： 状态的集合（有限个状态） ∑： 允许输入的字符的集合 Vt f： 状态转换函数， 单值函数K×∑→K S0： 初始状态 S0∈K Z： 终止状态集 K Z f(Si,a)=Sj 北京交通大学　于双元 4 讨论： (1) ①确定性 f是单值函数 从某一状态读一字符的下一状态唯一确定 ②有限的 K集合元素个数有限 (2) f 定义的推广 f单值函数K×∑→K K×Σ*→K Σ*=∑+∪{ε} 记为ｆ^ ①ｆ^(S, ε) =S ②ｆ^(S,aω) =ｆ^(f(S,a), ω) a∈∑,ω ∈Σ* f(S,a)=Sk =ｆ^(Sk, ω) =…=St St ∈K ｆ^ :K×Σ*→K 单值映射 北京交通大学　于双元 5 ③ｆ^是在Σ*上定义,f是在∑上定义, ｆ^包含f, 将ｆ^和f合并为一个f,记为f(推广后) (3)有限自动机的功能:识别句子 L(M)= { } x | f(S0,x) ∈Z, x∈Σ* 特别:f(So, ε) =So 且 So∈Z 称ε可为DFA M识别 S0 北京交通大学　于双元 6 (4)DFA可非形式地表示成状态图和状态矩阵 例:DFA M=({S,A,B,C},{0,1},δ,S,{S}) δ(S,0)=B δ(S,1)=A δ(A,0)=C δ(A,1)=S δ(B,0)=S δ(B,1)=C δ(C,0)=A δ(C,1)=B 状态 输入 0 输入 1 S B A A C S B S C C A B 101011 δ(S,101011) =δ(δ(S,1),01011) =δ(A,01011) =δ(C,1011) =δ(B,011) =δ(S,11) =δ(A,1) =S 计算机易存状态转换矩阵 北京交通大学　于双元 7 (5)正则文法G 一定 DFA M 反之 L(G) L(M) 等价 北京交通大学　于双元 8 §3.3.2 非确定的有限自动机(NFA M′) 一个NFA M′有以下五个元素组成, NFA M′=(K′,Σ,f′,S0′ ,Z′) 其中: K′:状态的集合(有限状态) Σ: 允许输入的字符集合Vt f′:状态转换函数,多值函数, K′×Σ →2k’(K的所有子集的集合) f(Si,a)={ Sk,St，… } S0:初始状态 S0∈K ′ Z: 终止状态集 K ′ 另外形式：弧线上有ε NFA M′=(K′,Σ∪{ε},f′,S0′ ,Z′) Z 北京交通大学　于双元 9 讨论: 1) ①不确定:f′是多值函数,一对多 ②有限: K′有限 2) f′定义推广到Σ* 上, K′×Σ*→2k’, 记为ｆ^′ ①ｆ^′(S,ε)={S} ②ｆ^′(S，aw） =ｆ^′(f′(S,a),w) 设： f′(S,a)={S1,S2,…..,Sk} =ｆ^′({S1,S2,…..,Sk},w) =∪ｆ^′(Si, w ) i=1 k ③将ｆ^′和f′合并为一个f′,记为f ′ 是2k’中的元素 满足映射K′×Σ* →2k’ 北京交通大学　于双元 10 (3) NFA M ′所确定的语言 L(M ′)= {x | f′(S0′ , x) ∩Z≠Ø ,x∈Σ*} (4) NFA M ′通常用状态转换图来表示 例: NFA M ′=({S,A,B,C},{a,b}, f ′,S,{C}) 符号串ababb可由此NFA M ′ 所识别. 北京交通大学　于双元 11 §3.3.3 DFA M与NFA M ′的等价性 一、对于∑上 NFA M ′ 一定 DFA M L(M′) L(M) 二、方法: 确定化 1、读ε不动作的NFA M ′ （弧线上无ε） 2、读ε动作的NFA M ′ （弧线上有ε） 最小化 等价 DFA状态数最少 北京交通大学　于双元 12 1、 读ε不动作的NFA M ′的确定化 问题：设有一NFA M′=(K′,∑ ,f′ , S0′, Z′) 现构造一∑上的DFA M=( K,∑,f,S0,Z) 使L(M ′)=L(M) ①K由K’的全部子集组成 K=2