空间可构造函数

空间可构造函数（space-constructible function），计算机科学技术名词，给定函数 f ∶N→N，如果存在图灵机使得对输入，在空间 O ( f(n)) 内输出，那么称 f 是一个空间可构造函数。