子集构造法

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