A，反之亦然：通过使用幂集构造。两种类型的自动机只识别正则语言。非确定有限自动机有时被称为有限类型的子移位（subshift）。非确定有限状态自动机可推广为概率自动机，它为每个状态转移指派概率。非确定有限自动机是Michael O. Rabin和达纳·斯科特（Dana Scott）在1959年介入的，他们证明了它与确定自动机的等价性。
直观介绍.NFA同DFA一样，消耗输入符号的字符串。对每个输入符号它变换到一个新状态直到所有输入符号到被耗尽。不像DFA，非确定意味着对于任