テクノロジ系 / 基礎理論
オートマトン
オートマトンは、状態の移り変わりによって動作を表す、計算の理論的なモデルです。
もう少し詳しく
入力に応じて内部の状態が次々と移り変わる様子で、機械や処理の動きを表す数学的なモデルです。状態と、状態を変える規則から成ります。文字列が決まった規則に合うかの判定などに使われ、言語処理やコンパイラの理論の基礎となる、形式的な計算モデルです。
試験での見方
例：入力に応じて状態が移り変わる様子で動作を表すのがオートマトンです。
テクノロジ系 / 基礎理論
オートマトンは、状態の移り変わりによって動作を表す、計算の理論的なモデルです。
入力に応じて内部の状態が次々と移り変わる様子で、機械や処理の動きを表す数学的なモデルです。状態と、状態を変える規則から成ります。文字列が決まった規則に合うかの判定などに使われ、言語処理やコンパイラの理論の基礎となる、形式的な計算モデルです。
例：入力に応じて状態が移り変わる様子で動作を表すのがオートマトンです。
状態遷移で動作を表すモデルである点が核心です。形式言語・コンパイラ理論との関連を押さえましょう。