非決定性有限オートマトン NFA
を状態の空ではない有限集合，
\Sigma を入力記号の集合（
a \in \Sigma），
\delta を
状態遷移関数，
q_{0} \in Q を初期状態，
F \subset Q は
受理状態の集合とすると，非決定性有限オートマトン（Nondeterministic Finite Automaton[NFA]）は，
M = (Q,\Sigma,\delta,q_{0},F)と表されます．
Mathematics is the language with which God has written the universe.
