En teoría de la complejidad computacional, la clase de complejidad DSPACE(f) o SPACE(f) es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing determinista en espacio O(f) y tiempo ilimitado. Es la contrapartida determinista de la clase NSPACE. La clase de complejidad PSPACE puede definirse en términos de DSPACE como: