DSPACE

Laskennallisessa monimutkaisuusteoriassa kompleksisuusluokka DSPACE (f(n)) tai SPACE(f(n)) on joukko päätösongelmia , jotka voidaan ratkaista deterministisellä Turingin koneella O - avaruudessa (f(n)) ja rajoittamattomassa ajassa . . Se on NSPACE - luokan deterministinen vastine .

Monimutkaisuusluokka PSPACE voidaan määritellä DSPACE:n avulla seuraavasti:

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