Komplexitätsklassen für die Raumkomplexität von Turing-Maschinen.

Ein Problem gehört zur Komplexitätsklasse DSPACE(s(n)), wenn es von einer deterministischen Turing-Maschine mit s(n) Zellen auf dem Arbeitsband, wobei sich n auf die Eingabelänge bezieht, gelöst werden kann.