計算複雑性理論において、複雑性クラスnspace(f(n))とは、非決定性チューリング機械で領域o(f(n))と無制限の時間で解ける決定問題の集合である。