DSPACE

Na teoria da complexidade computacional , a classe de complexidade DSPACE(f(n)) ou SPACE(f(n)) é o conjunto de problemas de decisão que podem ser resolvidos em uma máquina de Turing determinística em O espaço (f(n)) e tempo ilimitado . É a contrapartida determinística da classe NSPACE .

A classe de complexidade PSPACE pode ser definida em termos de DSPACE como:

${\mbox{PSPACE}}=\bigcup​​k\in \mathbb {N} }{\mbox{DSPACE}}(n^{k})$