非決定性有限オートマトン 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.