有限状態ギャンブラー("finite-state gambler" または "finite-state martingale"、以下fsg)とは、有限アルファベット σ 上の有限オートマトンの状態に応じて文字たち(σ の各元)に金を賭けるギャンブラーのモデルのことである。