带空转换的不确定有限自动机

带空转换的不确定有限自动机（non-deterministic finite automaton with ε-move），计算机科学技术名词，状态转换函数 δ 的定义域为 Q × (Σ∪(ε))（值域仍为）的不确定有限自动机。