Processing math: 0%

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





















正規表現 regular expression - 非決定性有限オートマトン NFA - 状態遷移関数 - 有限オートマトンの種類 - 剰余の定理(Remainder theorem)