自动机
子集构造法
概念 首先介绍一下 有限自动机 FA （Finite Automate）的概念，形式上它是一个五元组 \( (S, \sum, \delta, s_0, S_A) \) 1. \( S \) 是识别器的有限状态集，以及一个错误状态\( S_e\) 2. \( \sum \)是识别器使用的有限字母表。通常，\( \sum \) 是转移图中边的标签合集 3. \( \delta(s, c) \)是识别器的转移函数。它将每个状态 \(s \in S \)和每个字符\(c \in \sum \)映射到下一个状态。在状态\( s_i \)遇到输入字符\(c\)，FA将采取\(s_i \rightarrow^