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