有限オートマトンに関する記述として、最も適切なものはどれか。

なぜ ア は間違いか

状態が無限にあるなら、それは「有限」オートマトンではありません。語義そのものに反する選択肢で、用語のキーを読み飛ばすと拾ってしまいます。

なぜ ウ は間違いか

作業テープを書き換えながら計算するのはチューリングマシンの特徴。有限オートマトンには書き換え可能な記憶領域はありません。

なぜ エ は間違いか

スタックを補助記憶に使うのはプッシュダウンオートマトン（PDA）。文脈自由文法を認識できる別クラスのモデルで、有限オートマトンより表現力が一段上です。