下图的NFA称作具有ε转移的不确定的有穷自动机 　　对任何一个具有ε转移的不确定的有穷自动机NFA N，一定存在一个不具有ε转移的不确定的有穷自动机NFA M，使得L(M)=L(N)。 这里给出与上图等价的一个NFA。