，还依赖于任意数目的后续输入事件。直到这些后续事件出现才有可能确定这个机器所处的状态” 。如果在自动机完成读取的时候，它处于接受状态，则称NFA接受了这个字符串，否则称为它拒绝了这个字符串。NFA接受的所有字符串的集合是NFA接受的语言。这个语言是正则语言。对于所有NFA都可以找到接受同样语言的一个确定有限状态自动机（DFA）。所以出于实现（可能）更简单的机器的目的把现存的NFA转换成DFA是可行的。这是使用幂集构造进行的，这可能导致在必需状态的数目上的指数增长。幂集构造的形式证明在这里给出。对