DSPACE

I beregningskompleksitetsteori er kompleksitetsklassen DSPACE(f(n)) eller SPACE(f(n)) det sæt af beslutningsproblemer, der kan løses i en deterministisk Turing-maskine i O -rum (f(n)) og ubegrænset tid . Det er den deterministiske modstykke til NSPACE -klassen .

Kompleksitetsklassen PSPACE kan defineres i form af DSPACE som:

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