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