设L为一个由不确定的有穷自动机接受的集合，则存在一个接受L的确定的有穷自动机，将NFA转换为接受同样语言的DFA的算法叫作子集法
在正式介绍之前，我们要熟悉下一些概念，状态集合I的ε-闭包，表示为ε-closure(I)，定义为一个状态集，是状态集I中的任何状态S经任意条ε弧而能到达的状态集合。状态集合I的α弧转换，表示为move(I,α)，定义为状态集合J，其中J是所有那些可以从I中的某一状态经过一条α弧而到达的状态的全体
与NFA中等价的DFA中的每个状态都是一个NFA状态集合的子集，所以从NFA转换为DFA的方法也叫做子集构造法