die Komplexitätsklasse aller Probleme, die sich von deterministischen Turing-Maschinen mit ⌈ld(n)⌉ Zellen auf dem Arbeitsband (Raumkomplexität), wobei sich n auf die Eingabelänge bezieht, lösen lassen.

Die Komplexitätsklasse L ist in der Komplexitätsklasse P enthalten.