En teoría de la complejidad computacional, la clase de complejidad NL (espacio logarítmico no determinista) es el conjunto de los problemas de decisión que pueden ser resueltos en espacio "log(n)" (sin contar el tamaño de la entrada), donde "n" es el tamaño de la entrada, por una máquina de Turing no determinista tal que la solución, si existe, es única.