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

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