状態遷移関数

非決定性有限オートマトン（Nondeterministic Finite Automaton[NFA]）の状態遷移関数（state transition function） $\delta$ というのは，状態集合を $Q$ ，入力集合（入力アルファベット）を $\Sigma$ としたとき，状態 $p \in Q$ と入力 $a \in \Sigma$ に対して，次の状態の集合 $Q_{N} \subseteq Q$ を定める関数のことです．\[\delta(p,a) = Q_{N}\]$\delta$ は状態が遷移する可能性を表すものということが出来ます．

Mathematics is the language with which God has written the universe.