国防科大编译原理第三章.ppt

2、lex的工作过程： · 扫描每条识别规则Pi构造一相应的非确定有穷自动机Mi ¨将各条规则的有穷自动机Mi合并成一个新的NFA M ·¨确定化 NFA?DFA 即生成该DFA的状态转换矩阵和控制执行程序 0 P1 start ε ε ε M1 P2 M2 P3 M3 * 3.1 词法分析器的功能 * 限定：在Ri中只能出现字母表Σ中的字符，以及前面已 定义的正则表达式名字，我们用这种辅助定义式 (相当于规则)来定义程序语言的单词符号。 状态转移函数δ可用一矩阵来表示： 输入 字符 状态 a b 0 1 2 1 3 2 2 1 3 3 3 3 例如: M:（{0,1,2,3},{a,b},δ，0，{3}） δ（0，a）=1 δ（0，b）=2 δ（1，a）=3 δ（1，b）=2 δ（2，a）=1 δ（2，b）=3 δ（3，a）=3 δ（3，b）=3 所谓确定的自动机， 其确定性表现在状 态转移函数是 单值函数！ 一个DFA也可以用一状态转换图表示： DFA的状态图表示： 1 0 3 2 start a a b b a,b 输入 字符 状态 a b 0 1 2 1 3 2 2 1 3 3 3 3 b a DFA M所接受的符号串： 若存在一条初始状态到某一终止状态的路径，且这条路径上能 有弧的标记符号连接成符号串α，则称α为DFA M（接受）识别。 DFA M所接受的语言为： L(M)={α|δ(S0, α)=Sn, Sn ∈Z} 3.3.3 非确定的有限自动机(NFA) 若δ是一个多值函数，且输入可允许为ε，则有限自动机是不确定的, 即在某个状态下，对于某个输入字符存在多个后继状态. NFA的形式定义为: 一个非确定的有限自动机NFA M’是一个五元式: NFA M’=(S, Σ, δ, S0, F) 其中 S—有限状态集 Σ—输入符号. S0—初态集 F—终态集 δ—转换函数 S×Σ*→2S (2S --S的幂集—S的子集构成的集合） NFA M’所接受的语言为: L(M’)={α|δ(S0,α)=S’ S’∩Z≠Φ} 例： NFA M’=({1,2,3,4},{a,b,c,d} ,δ,1,{4}) 符号 状态 ε a b c 1 {4} {2，3} Φ Φ 2 Φ {2} {4} Φ 3 Φ Φ Φ {3，4} 4 Φ Φ Φ Φ 上例题相应的状态图为： 1 2 3 4 start a b a c a c ε M’所接受的语言（用正规表达式） R=aa b|ac c|ε 符号 状态