認識する

$M$ が言語 $A$ を 認識する のは、$A=\{w\mid M$ は $w$ を受理する $\}$ ときである