子集构造法 概念 首先介绍一下 有限自动机 FA （Finite Automate）的概念，形式上它是一个五元组 \( (S, \sum, \delta, s_0, S_A) \) \( S \) 是识别器的有限状态集，以及一个错误状态\( S_e\) \( \sum \)是识别器使用的有限字母表。通常，\( \sum \) 是转移图中边的标签合集 \( \delta( »