第二章词法探索.pptVIP

* 2.3 记号的识别－有限自动机 DFA对NFA施加的两条限制： 限制1：没有ε状态转移 限制2：同一状态下没有重复字符的状态转移 [例2.10] 正规式(a|b)*abb的DFA，识别输入序列abb和abab： 识别abb：0a1b2b3，状态，接受 识别abab：0a1b2a1b2，？ * 2.3 记号的识别－有限自动机 DFA识别输入序列的算法被称为DFA模拟器或驱动器，它与DFA共同构成词法分析器的核心，特点是算法与模式无关。 算法2.1 模拟DFA 输入 DFA D和输入字符串x (eof)。D的初态为s0，终态集为F 输出 若 D 接受 x，回答“yes”，否则回答“no”。 方法 用下述过程识别x： s := s0; ch := nextchar; -- 初值 while ch≠eof -- x结束? loop s := move(s, ch); ch := nextchar; -- 循环转移 end loop; if s is in F -- 终态返回 then return “yes”; else return “no”; end if; * 2.3 记号的识别－有限自动机 识别abb： 1. s = 0, ch = a 2. s = 1, ch = b 3. s = 2, ch = b 4. s = 3, ch =