不确定性有限自动机的英文翻译

英文翻译：【计】 nondeterministic automaton; nondeterministic finite automaton