死状態
有限オートマトン(finite automaton)において、そこに一度入ったら最終状態（受理状態）に到達不可能となるような状態のことをいう