我们如例子中这样只建立必须的节点，我们经常会建立一个非常小的DFA的。不管如何，仍有必须所有2个状态的情况，这是不可避免的。
形式定义.设M = ("S", Σ, "T", "s", "A")是非确定有限状态自动机。 定义5-元组M = ("S", "Σ", "T", "s", "A")，这里的P(S)是S的幂集；"C(q)"是 "q"的ε-闭包，就是说从"q"经过一次或多次ε-转移可到达的所有状态的集合。可以数学上证明M是接受同M一样语言的确定有限状态自动机。