不确定的有限自动机

不确定的有限自动机（non-deterministic finite automaton），计算机科学技术名词，有限自动机的一种类型。其中状态转换函数是一个多值函数，即在当前状态下读到一个输入字符时，自动机的下一状态可以是多个状态中的某一个。