正则表达式 → NFA（通过 Thompson 构造法）→ DFA（通过子集法）→ 最小化 DFA（合并等价状态）是 Lex 类工具的核心流程

核心内容解读与补充背景的综合分析如下：

1. NFA 的定义与结构
   示例中的 NFA $ M_2 $ 明确给出了以下要素：

   • 状态集合 $ Q $：如 $ {q_0, q_1, q_2} $；
   • 输入符号集 $ \Sigma $：如 $ {a, b} $；
   • 初态 $ q_0 $，终态集合 $ F $（如 $ {q_2} $）；
   • 状态转换函数 $ \delta $：允许从一个状态在某个输入符号或 $ \varepsilon $（空串）下转移到多个状态。
     转换图直观展示状态间连接，转换矩阵则以表格形式表示相同信息。

2. NFA 与 DFA 的关系

   • DFA 是 NFA 的特例：DFA 在每个状态下对每个输入符号有且仅有一个后继状态，而 NFA 可有零个、一个或多个。
   • 等价性定理：对于任意 NFA $ M $，都存在一个 DFA $ M’ $，使得两者接受的语言完全相同，即 $ L(M) = L(M’) $。这是词法分析器构造的理论基础。

3. NFA 转 DFA 的关键操作——子集构造法（Subset Construction）
   核心思想是将 NFA 的“不确定性的状态集合”作为 DFA 的单个状态。具体步骤包括：

   • ε_闭包（ε-CLOSURE）：
     对于状态集合 $ S，，，\varepsilon\text{-CLOSURE}(S) $ 是从 $ S $ 中每个状态出发，仅通过 $ \varepsilon $-转移能到达的所有状态的并集。例如，若 $ q_0 \xrightarrow{\varepsilon} q_1 $，则 $ \varepsilon\text{-CLOSURE}({q_0}) = {q_0, q_1} $。
   • DFA 初态确定：
     DFA 的初态为 $ \varepsilon\text{-CLOSURE}({q_0}) $。
   • 状态扩展与标记：
     对每一个未标记的 DFA 状态（即 NFA 的状态子集），对每个输入符号 $ a \in \Sigma $：
     1. 计算所有可通过 $ a $ 弧到达的状态集合 $ T = \bigcup_{p \in S} \delta(p, a) $；
     2. 再求 $ \varepsilon\text{-CLOSURE}(T) $，得到新的状态子集；
     3. 若该子集不在当前 DFA 状态集中，则加入并标记为未处理；
     4. 添加对应转换边。
   • 重复直到所有状态都被处理完毕。最终，包含原 NFA 终态的状态子集即为 DFA 的终态。

4. 应用背景：编译原理中的词法分析

   • 正则表达式 → NFA（通过 Thompson 构造法）→ DFA（通过子集法）→ 最小化 DFA（合并等价状态）是 Lex 类工具的核心流程。
   • 将正则规则转化为自动机后，可在 $ O(n) $ 时间内扫描输入字符串（$ n $ 为长度），实现高效词法识别（如识别if关键字、变量名、数字常量等）。
   • 使用 DFA 的优势在于其确定性，避免回溯，适合高速解析。

# 示例：简化版 ε-CLOSURE 实现（基于邻接表表示的 NFA）defepsilon_closure(epsilon_transitions,states):""" epsilon_transitions: dict, 如 {q0: [q1], q1: [q2], q2: []} states: set of initial states returns: set of all states reachable via ε-transitions """closure=set(states)stack=list(states)whilestack:state=stack.pop()fornext_stateinepsilon_transitions.get(state,[]):ifnext_statenotinclosure:closure.add(next_state)stack.append(next_state)returnclosure# 示例调用eps_trans={0:[1],1:[2],2:[]}print(epsilon_closure(eps_trans,{0}))# 输出: {0, 1, 2}