非确定有穷自动机的概念

非确定有穷自动机（Nondeterministic Finite Automaton, NFA）是指在有限个状态的控制下，从一个初始状态出发，沿着某些转换函数转移到另一个状态的有限状态机，但其每个状态可以有多个后继状态。这些后继状态中的任意一个都可以被自动机接受，即NFA并不确定下一个状态，只要有一个状态能够接受输入，则算作该自动机接受此输入。