有限オートマトン
別名: 有限状態機械
有限個の状態に対して論理がどのように遷移するかを記述するモデル．