generated at
非決定性有限オートマトン
NFA : nondeterministic finite automaton

非決定性有限状態機械（NFSM : Nondeterministic Finite State Machine）
決定性有限オートマトン（DFA : Deterministic Finite Automaton）
プッシュダウンオートマトン（Push Down Automaton）
チューリングマシン（Turing Machine）

非決定性有限オートマトン - Wikipedia
Nondeterministic finite automaton - Wikipedia