受理する

$M = (Q, Σ, δ, q_{0}, F)$ を有限オートマトンとし、 $w = w_{1} w_{2} \dots w_{n}$ は文字列で、各 $w_{i}$ はアルファベット $Σ$ の要素とする以下の3つの条件を満たす状態の列 $r_{0}, r_{1}, \dots, r_{n}$ が存在するならば、 $M$ は $w$ を 受理する という

$r_{0} = q_{0}$
$i = 0, \dots, n - 1$ のとき、 $δ (r_{i}, w_{i + 1}) = r_{i + 1}$
$r_{n} \in F$

Obsidian

エクスプローラー

受理する

グラフビュー

バックリンク