非確定性空間複雜性定理

非確定性空間複雜性定理（non-deterministic space complexity theorem）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：非確定性空間複雜性定理
• 外文名：non-deterministic space complexity theorem
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

對任何空間可構造函式 f(n) ≥log n ，NSPACE (f(n))SPACE，這裡NSPACE( f(n) )是非確定型圖靈機在空間 f(n) 內所識別的一切語言構成的類。

出處

《計算機科學技術名詞 》 (第三版)。