DSPACE

I beregningskompleksitetsteori er kompleksitetsklassen DSPACE(f(n)) eller SPACE(f(n)) settet med beslutningsproblemer som kan løses i en deterministisk Turing-maskin i O- rom (f(n)) og ubegrenset tid . Det er det deterministiske motstykket til NSPACE -klassen .

Kompleksitetsklassen PSPACE kan defineres i form av DSPACE som:

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