不确定性有限自动机

nondeterministic finite automaton