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