Sea una función formula_1, la clase de complejidad DSPACE("S"("n")) (respectivamente NSPACE("S"("n"))) está formada por los problemas que pueden ser resueltos en una máquina de Turing determinista (resp.